From 6c786386b9ef72bc83584e7349fa1b5a4230bee0 Mon Sep 17 00:00:00 2001 From: Tim King Date: Thu, 29 Dec 2016 14:34:29 -0800 Subject: [PATCH] Reordering sep and sets in Makefile.theories. --- src/Makefile.theories | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2