diff options
Diffstat (limited to 'test-suite/failure/evarclear2.v')
-rw-r--r-- | test-suite/failure/evarclear2.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/failure/evarclear2.v b/test-suite/failure/evarclear2.v index e606a06f..0f776811 100644 --- a/test-suite/failure/evarclear2.v +++ b/test-suite/failure/evarclear2.v @@ -6,4 +6,4 @@ eexists. rename y into z. unfold z at 1 2. (* should fail because the evar type depends on z *) -clear z. +Fail clear z. |