diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-16 13:10:19 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-16 13:10:19 +0900 |
| commit | 5afce6c020637dcc82ee61d26457e3e6cf89210b (patch) | |
| tree | c288d773c1452e68df54e162081aa08be339a8ac | |
| parent | 0988b883057839e1f1f6fd2c73a8ec244f4efc6c (diff) | |
Remove debug outputs.
* vikalpa.scm (system-check): Remove debug outputs.
| -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)) |