Woops

Author: pavpanchekha

src/config.rkt

@@ -90,7 +90,7 @@
 
 ;; The maximum size of an egraph
 (define *node-limit* (make-parameter 8000))
-(define *proof-max-length* (make-parameter 10))
+(define *proof-max-length* (make-parameter 200))
 (define *proof-max-string-length* (make-parameter 10000))
 
 ;; In localization, the maximum number of locations returned