From a97891f9cc892fdc261cd4e3d3229ec68f05b45e Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 3 Jul 2013 17:13:31 -0400
Subject: General pre-release cleanup commit

* Rename {model,util_model}.{h,cpp} files to match class names
* Fix alreadyVisited() issue in TheoryEngine
* Remove spurious Message that causes compliance issues
* Update copyrights, fix public/private markings in headers
* minor comment fixes
* remove EXTRACT_OP as a special-case in typechecker
* note about rewriters in theoryskel readme
* Clean up some compiler warnings
* Code typos and spacing
---
 src/printer/cvc/cvc_printer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/printer/cvc')

diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index 7667acdd0..786238492 100644
--- a/src/printer/cvc/cvc_printer.cpp
+++ b/src/printer/cvc/cvc_printer.cpp
@@ -22,7 +22,7 @@
 #include "theory/substitutions.h"
 #include "smt/smt_engine.h"
 #include "smt/options.h"
-#include "theory/model.h"
+#include "theory/theory_model.h"
 #include "theory/arrays/theory_arrays_rewriter.h"
 #include "printer/dagification_visitor.h"
 #include "util/node_visitor.h"
-- 
cgit v1.2.3