diff options
Diffstat (limited to 'test/regress/regress0/push-pop/incremental-subst-bug.cvc')
-rw-r--r-- | test/regress/regress0/push-pop/incremental-subst-bug.cvc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/regress/regress0/push-pop/incremental-subst-bug.cvc b/test/regress/regress0/push-pop/incremental-subst-bug.cvc index b9936bfa4..9b10ef843 100644 --- a/test/regress/regress0/push-pop/incremental-subst-bug.cvc +++ b/test/regress/regress0/push-pop/incremental-subst-bug.cvc @@ -19,4 +19,3 @@ QUERY z /= x; POP; % EXPECT: invalid QUERY z /= x; -% EXIT: 10 |