diff options
Diffstat (limited to 'test-suite/ide/undo007.fake')
-rw-r--r-- | test-suite/ide/undo007.fake | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test-suite/ide/undo007.fake b/test-suite/ide/undo007.fake index 770350fbd..7a1dc81e0 100644 --- a/test-suite/ide/undo007.fake +++ b/test-suite/ide/undo007.fake @@ -11,11 +11,10 @@ ADD { Definition f := O. } # This is a bug in Stm undo, e is lost from master EDIT_AT here ADD { Definition f := O. } - ADD { assert True by trivial. } ADD { exact (eq_refl e). } ADD { Qed. } -ADD { Stm PrintDag. } -ADD { Stm Finish. } +# QUERY { Stm PrintDag. } +# QUERY { Stm Finish. } QUERY { Print d. } QUERY { Check e. } |