diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-05-04 11:15:37 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-05-04 11:17:45 +0200 |
| commit | 796859aca4fc85dc721b670d95b0c2aaace55e32 (patch) | |
| tree | 7cf8f5b32dcaffe57143aa08830dfadf3f47573d | |
| parent | 78e616d56dc0646d0c67ab57e11671a6c08d0cc7 (diff) | |
Fixing subst.out after changing spacing in goal output (24a125b77).
| -rw-r--r-- | test-suite/output/subst.out | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test-suite/output/subst.out b/test-suite/output/subst.out index f5768ba44..209b2bc26 100644 --- a/test-suite/output/subst.out +++ b/test-suite/output/subst.out @@ -10,7 +10,7 @@ HB : True H4 : z = 4 ============================ - True + True 1 subgoal x, z : nat @@ -23,7 +23,7 @@ HB : True H4 : z = 4 ============================ - True + True 1 subgoal x, y : nat @@ -36,7 +36,7 @@ HB : True H4 : 0 = 4 ============================ - True + True 1 subgoal H1 : 0 = 1 @@ -46,7 +46,7 @@ HB : True H4 : 0 = 4 ============================ - True + True 1 subgoal y, z : nat @@ -59,7 +59,7 @@ H1 : 0 = 1 H2 : 0 = 2 ============================ - True + True 1 subgoal x, z : nat @@ -72,7 +72,7 @@ H4 : z = 4 H3 : 0 = 3 ============================ - True + True 1 subgoal x, y : nat @@ -85,7 +85,7 @@ HB : True H4 : 0 = 4 ============================ - True + True 1 subgoal HA, HB : True @@ -94,4 +94,4 @@ H1 : 0 = 1 H2 : 0 = 2 ============================ - True + True |