From: Tim King Date: Thu, 29 Dec 2016 22:34:29 +0000 (-0800) Subject: Reordering sep and sets in Makefile.theories. X-Git-Tag: cvc5-1.0.0~5937 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6c786386b9ef72bc83584e7349fa1b5a4230bee0;p=cvc5.git Reordering sep and sets in Makefile.theories. --- diff --git a/src/Makefile.theories b/src/Makefile.theories index 003128a3c..276663cc5 100644 --- a/src/Makefile.theories +++ b/src/Makefile.theories @@ -1,3 +1,3 @@ -THEORIES = builtin booleans uf arith bv fp arrays datatypes sets sep strings quantifiers idl +THEORIES = builtin booleans uf arith bv fp arrays datatypes sep sets strings quantifiers idl