diff options
author | Tim King <taking@google.com> | 2016-12-29 14:34:29 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-12-29 14:34:29 -0800 |
commit | 6c786386b9ef72bc83584e7349fa1b5a4230bee0 (patch) | |
tree | f4811e90d5ad8314b714ce5a30fec956bef29782 /src | |
parent | 67fd8cc104ec9861ca234bb3170c7f992eea3868 (diff) |
Reordering sep and sets in Makefile.theories.
Diffstat (limited to 'src')
-rw-r--r-- | src/Makefile.theories | 2 |
1 files changed, 1 insertions, 1 deletions
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 |