From: Tim King <taking@google.com>
Date: Sun, 23 Apr 2017 20:05:10 +0000 (-0700)
Subject: Changing spaces to tabs in Makefile.
X-Git-Tag: cvc5-1.0.0~5820
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a478abedb8f9ef7522e5f65051a1da9c8a181037;p=cvc5.git

Changing spaces to tabs in Makefile.
---

diff --git a/test/regress/regress0/sets/Makefile.am b/test/regress/regress0/sets/Makefile.am
index 5ff24f1ff..c8e416a42 100644
--- a/test/regress/regress0/sets/Makefile.am
+++ b/test/regress/regress0/sets/Makefile.am
@@ -78,15 +78,15 @@ TESTS =	\
 	univset-simp.smt2 \
 	complement.cvc \
 	complement2.cvc \
-  complement3.cvc \
-  sharing-simp.smt2 \
-  pre-proc-univ.smt2 \
-  nonvar-univ.smt2 \
-  sets-poly-int-real.smt2 \
-  sets-poly-nonint.smt2 \
-  int-real-univ.smt2 \
-  int-real-univ-unsat.smt2 \
-  sets-tuple-poly.cvc
+	complement3.cvc \
+	sharing-simp.smt2 \
+	pre-proc-univ.smt2 \
+	nonvar-univ.smt2 \
+	sets-poly-int-real.smt2 \
+	sets-poly-nonint.smt2 \
+	int-real-univ.smt2 \
+	int-real-univ-unsat.smt2 \
+	sets-tuple-poly.cvc
 
 EXTRA_DIST = $(TESTS)