diff --git a/src/smtsolvers/CMakeLists.txt b/src/smtsolvers/CMakeLists.txt
index 4af782b6d..0cd60ca14 100644
--- a/src/smtsolvers/CMakeLists.txt
+++ b/src/smtsolvers/CMakeLists.txt
@@ -56,5 +56,5 @@ install(FILES TheoryInterpolator.h
 
 
 
-install(FILES SimpSMTSolver.h CoreSMTSolver.h
+install(FILES SimpSMTSolver.h CoreSMTSolver.h SMTSolver.h
 		DESTINATION ${INSTALL_HEADERS_DIR})