diff options
Diffstat (limited to 'vikalpa.scm')
-rw-r--r-- | vikalpa.scm | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/vikalpa.scm b/vikalpa.scm index 8c3d10c..6bd6f87 100644 --- a/vikalpa.scm +++ b/vikalpa.scm @@ -1653,11 +1653,6 @@ (parameterize ((current-system sys)) (rewrite (get-claim d) (get-proof d)))))) - (display - (list result - (parameterize ((current-system sys)) - (result/expr (true))))) - (newline) (cond ((equal? result (parameterize ((current-system sys)) |