From 0b2f9943d55152e0958369083649dd71340864c9 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Sun, 11 May 2014 14:36:50 -0500 Subject: More preparation for CASC proofs. Minor fix for sort inference (rewrite new assertions). Bug fix for ambqi : simplify correctly for multi-sorted case. Bug fix for fmc : only do exh-simplification for uninterpreted sorts, ensure reps are enumerated for quantification over Real. --- src/Makefile.am | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Makefile.am') diff --git a/src/Makefile.am b/src/Makefile.am index 573181ccf..539afc781 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -67,8 +67,8 @@ libcvc4_la_SOURCES = \ printer/printer.cpp \ printer/dagification_visitor.h \ printer/dagification_visitor.cpp \ - printer/model_format_mode.h \ - printer/model_format_mode.cpp \ + printer/modes.h \ + printer/modes.cpp \ printer/ast/ast_printer.h \ printer/ast/ast_printer.cpp \ printer/smt1/smt1_printer.h \ -- cgit v1.2.3