diff --git a/test/solver-test.rkt b/test/solver-test.rkt index 037eeee..07b18d4 100644 --- a/test/solver-test.rkt +++ b/test/solver-test.rkt @@ -43,9 +43,7 @@ (define-property reject-ill-typed ([peg (gen:ill-peg 3 3 3)]) (let ([p (translate peg) ]) - (pprint-peg p) (not (satisfied? (solve-ctx (peg->constraints p)))) - (displayln "\n------------------xxx-----------") ) ) @@ -119,4 +117,4 @@ (GAlt (GSeq (GAlt (GLit 0) (GEps)) (GLit 1)) (GNot (GLit 1)) ) (list)) -) \ No newline at end of file +)