diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-08 10:29:02 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-09 14:51:22 -0400 |
commit | b6d9f0bd9058db1358897834ac987f5d34de8734 (patch) | |
tree | 5b9605e98bcc0a9f5057879d564253418e73300f /src/Makefile.am | |
parent | 8d29fef7286ab07c630c65284bfb399e2f7f5326 (diff) |
some debugging changes
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index d75535e15..2d306d464 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -223,6 +223,7 @@ libcvc4_la_SOURCES = \ theory/datatypes/theory_datatypes.cpp \ theory/sets/expr_patterns.h \ theory/sets/options_handlers.h \ + theory/sets/scrutinize.h \ theory/sets/term_info.h \ theory/sets/theory_sets.cpp \ theory/sets/theory_sets.h \ |