diff options
| -rw-r--r-- | examples/the-little-prover.scm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/examples/the-little-prover.scm b/examples/the-little-prover.scm index 0a12eaa..6a919a8 100644 --- a/examples/the-little-prover.scm +++ b/examples/the-little-prover.scm @@ -1,6 +1,5 @@ (use-modules (vikalpa) - (vikalpa the-little-prover) - (ice-9 pretty-print)) + (vikalpa the-little-prover)) (define-system the-little-prover-0 (the-little-prover) (define-theorem simple-list-induction (x) |