Only print debugging info when debugging

brownplt · Feb 19, 2018 · b00b2d3 · b00b2d3
1 parent 7a14d52
commit b00b2d3
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/unify.rkt b/unify.rkt
@@ -363,8 +363,7 @@
               (append premises assumptions))))
 
 (define (found-derivation! deriv)
-  #;(show-derivations (list deriv))
-  (printf "Derivation found!\n~a\n" deriv))
+  (debug "Derivation found!\n~a\n" deriv))
 
 (define (resugar-derivation rule deriv)
   (let* [[premises (map read-premise (get-premises deriv))]