From b6d9f0bd9058db1358897834ac987f5d34de8734 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Tue, 8 Apr 2014 10:29:02 -0400 Subject: some debugging changes --- src/Makefile.am | 1 + 1 file changed, 1 insertion(+) (limited to 'src/Makefile.am') 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 \ -- cgit v1.2.3