From 796859aca4fc85dc721b670d95b0c2aaace55e32 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 4 May 2016 11:15:37 +0200
Subject: Fixing subst.out after changing spacing in goal output (24a125b77).

---
 test-suite/output/subst.out | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/test-suite/output/subst.out b/test-suite/output/subst.out
index f5768ba441..209b2bc26f 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
-- 
cgit v1.2.3