diff options
author | Tim King <taking@google.com> | 2017-04-23 13:05:10 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2017-04-23 13:05:10 -0700 |
commit | a478abedb8f9ef7522e5f65051a1da9c8a181037 (patch) | |
tree | fbedab84b9ed24d0dfd69f130cc1981ca88b00b7 /test/regress/regress0/sets | |
parent | 58c004370561c582a090020113d8781b2ff6ac42 (diff) |
Changing spaces to tabs in Makefile.
Diffstat (limited to 'test/regress/regress0/sets')
-rw-r--r-- | test/regress/regress0/sets/Makefile.am | 18 |
1 files changed, 9 insertions, 9 deletions
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) |