From 4941b3c516361183b4623f5660128e4f1bcce809 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 14 Jul 2012 22:53:58 +0000 Subject: Type enumerator infrastructure and uninterpreted constant support. No support yet for enumerating arrays, or for enumerating non-trivial datatypes. --- src/theory/builtin/Makefile.am | 1 + 1 file changed, 1 insertion(+) (limited to 'src/theory/builtin/Makefile.am') diff --git a/src/theory/builtin/Makefile.am b/src/theory/builtin/Makefile.am index 9856cdbe6..4b2d566b4 100644 --- a/src/theory/builtin/Makefile.am +++ b/src/theory/builtin/Makefile.am @@ -7,6 +7,7 @@ noinst_LTLIBRARIES = libbuiltin.la libbuiltin_la_SOURCES = \ theory_builtin_type_rules.h \ + type_enumerator.h \ theory_builtin_rewriter.h \ theory_builtin_rewriter.cpp \ theory_builtin.h \ -- cgit v1.2.3