1 files changed, 0 insertions, 7 deletions
diff --git a/src/smt/model.h b/src/smt/model.h
index 1f7c5daae..8f4409b07 100644
--- a/src/smt/model.h
+++ b/src/smt/model.h
@@ -119,13 +119,6 @@ class Model {
   bool d_isKnownSat;
 };/* class Model */
 
-class ModelBuilder {
-public:
-  ModelBuilder() { }
-  virtual ~ModelBuilder() { }
-  virtual bool buildModel(Model* m) = 0;
-};/* class ModelBuilder */
-
 }/* CVC4 namespace */
 
 #endif  /* CVC4__MODEL_H */