diff --git a/collects/mred/private/wxme/mline.rkt b/collects/mred/private/wxme/mline.rkt index 3365ff49e3..0677b61ebb 100644 --- a/collects/mred/private/wxme/mline.rkt +++ b/collects/mred/private/wxme/mline.rkt @@ -948,7 +948,7 @@ Debugging tools: (if (has-flag? (snip->flags asnip) NEWLINE) (begin (do-new-line asnip) - (send media consistent-snip-lines 'post-do-new-line) + (assert (send media consistent-snip-lines 'post-do-new-line)) #t) (begin (set-snip-line! asnip mline)