Changing spaces to tabs in Makefile.
authorTim King <taking@google.com>
Sun, 23 Apr 2017 20:05:10 +0000 (13:05 -0700)
committerTim King <taking@google.com>
Sun, 23 Apr 2017 20:05:10 +0000 (13:05 -0700)
test/regress/regress0/sets/Makefile.am

index 5ff24f1ff4ad5577220fbd88cffb0f51492e5a7f..c8e416a42e59c539ce447c17767a7d574792f520 100644 (file)
@@ -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)