diff options
Diffstat (limited to 'test-suite/output/Show.out')
| -rw-r--r-- | test-suite/output/Show.out | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test-suite/output/Show.out b/test-suite/output/Show.out index 8acfed5d00..ca56f032ff 100644 --- a/test-suite/output/Show.out +++ b/test-suite/output/Show.out @@ -8,5 +8,3 @@ subgoal 2 (ID 35) is: 1 = S (S m') subgoal 3 (ID 22) is: S (S n') = S m - -(dependent evars: (printing disabled) ) |