From a97891f9cc892fdc261cd4e3d3229ec68f05b45e Mon Sep 17 00:00:00 2001 From: Morgan Deters 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/theory/quantifiers/model_engine.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/quantifiers/model_engine.h') diff --git a/src/theory/quantifiers/model_engine.h b/src/theory/quantifiers/model_engine.h index 1c2c38c51..0c3c74b5f 100644 --- a/src/theory/quantifiers/model_engine.h +++ b/src/theory/quantifiers/model_engine.h @@ -19,7 +19,7 @@ #include "theory/quantifiers_engine.h" #include "theory/quantifiers/model_builder.h" -#include "theory/model.h" +#include "theory/theory_model.h" #include "theory/quantifiers/full_model_check.h" #include "theory/quantifiers/relevant_domain.h" -- cgit v1.2.3