cleanout decision_proceduret::in_core

smowton · Feb 11, 2018 · 1bac484 · 1bac484
1 parent f9b9599
commit 1bac484
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 9 deletions.
diff --git a/src/util/decision_procedure.cpp b/src/util/decision_procedure.cpp
@@ -11,10 +11,4 @@ Author: Daniel Kroening, [email protected]
 
 #include "decision_procedure.h"
 
-#include <cassert>
 
-bool decision_proceduret::in_core(const exprt &expr)
-{
-  UNREACHABLE;
-  return true;
-}
diff --git a/src/util/decision_procedure.h b/src/util/decision_procedure.h
@@ -52,9 +52,6 @@ class decision_proceduret:public messaget
     return dec_solve();
   }
 
-  // old-style, will go away
-  virtual bool in_core(const exprt &expr);
-
   // return a textual description of the decision procedure
   virtual std::string decision_procedure_text() const=0;