From 5afce6c020637dcc82ee61d26457e3e6cf89210b Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 16 Sep 2021 13:10:19 +0900
Subject: Remove debug outputs.

* vikalpa.scm (system-check): Remove debug outputs.
---
 vikalpa.scm | 5 -----
 1 file changed, 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))
-- 
cgit v1.2.3