diff options
Diffstat (limited to 'test-suite/ide/undo013.fake')
| -rw-r--r-- | test-suite/ide/undo013.fake | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/test-suite/ide/undo013.fake b/test-suite/ide/undo013.fake index 3b1c61e66d..389da27650 100644 --- a/test-suite/ide/undo013.fake +++ b/test-suite/ide/undo013.fake @@ -20,9 +20,6 @@ INTERP apply H. REWIND 2 # We should now be just before "Lemma cc" # <replay> -INTERP Lemma cc : False -> True. -INTERP intro H. -INTERP destruct H. INTERP Qed. INTERP apply H. # </replay> |