From 030480e368b0373e09aa89f68f8ae916b7fccd1b Mon Sep 17 00:00:00 2001 From: Caleb Donovick Date: Mon, 21 May 2018 08:29:14 -0700 Subject: [PATCH] Fix file extension (#1919) * Fix file extension * Update Makefile --- test/regress/Makefile.tests | 1 + test/regress/regress0/sygus/{sygus-uf.sl => sygus-uf.sy} | 0 2 files changed, 1 insertion(+) rename test/regress/regress0/sygus/{sygus-uf.sl => sygus-uf.sy} (100%) diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests index 745183a6b..ca22aba5f 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -1806,6 +1806,7 @@ DISABLED_TESTS = \ regress0/sets/sets-new.smt2 \ regress0/sets/sets-testlemma-ints.smt2 \ regress0/sets/sets-testlemma-reals.smt2 \ + regress0/sygus/sygus-uf.sy \ regress0/symmetric.smt \ regress0/tptp/BOO003-4.p \ regress0/tptp/BOO027-1.p \ diff --git a/test/regress/regress0/sygus/sygus-uf.sl b/test/regress/regress0/sygus/sygus-uf.sy similarity index 100% rename from test/regress/regress0/sygus/sygus-uf.sl rename to test/regress/regress0/sygus/sygus-uf.sy -- 2.30.2