diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-10-23 23:40:29 +0000 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-10-23 23:40:29 +0000 |
commit | 304404e3709ff7e95156c87f65a3e2647d9f3441 (patch) | |
tree | 10fd1c4cc42567c3fac5fd91ad76aef3d49975b5 /src/theory/quantifiers/Makefile.am | |
parent | 697dd317af39a896865c99b922e80baac2bb4b23 (diff) |
more major cleanup of quantifiers code, separating rewrite-rules-specific code from quantifiers-specific code
Diffstat (limited to 'src/theory/quantifiers/Makefile.am')
-rw-r--r-- | src/theory/quantifiers/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/quantifiers/Makefile.am b/src/theory/quantifiers/Makefile.am index 57b99c59b..ed60e77a9 100644 --- a/src/theory/quantifiers/Makefile.am +++ b/src/theory/quantifiers/Makefile.am @@ -40,7 +40,9 @@ libquantifiers_la_SOURCES = \ inst_gen.h \ inst_gen.cpp \ quant_util.h \ - quant_util.cpp + quant_util.cpp \ + inst_match_generator.h \ + inst_match_generator.cpp EXTRA_DIST = \ kinds \ |