Remove debug printing

This commit is contained in:
Tony Garnock-Jones 2016-02-29 15:20:03 -05:00
parent 73119c323f
commit 6e3e0fc8bc
1 changed files with 0 additions and 2 deletions

View File

@ -578,8 +578,6 @@
(define E-stx #`(asserted #,P-stx))
(define-values (_proj _pat _match-pat _bindings instantiated) (analyze-pattern E-stx P-stx))
(define I-stx #`(until (retracted #,instantiated) #,@O-stxs))
(local-require racket/pretty)
(pretty-print (syntax->datum I-stx))
(analyze-event! index E-stx #`(#,I-stx)))
(define (analyze-assertion! index Pred-stx outer-expr-stx P-stx L-stx)