BVLogic: CMakeList update

BritikovKI · BritikovKI · commit 18856dc89011 · 2023-03-21T18:49:27.000+01:00
diff --git 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})

Original file line number	Diff line number	Diff line change
`@@ -56,5 +56,5 @@ install(FILES TheoryInterpolator.h`
`56`	`56`
`57`	`57`
`58`	`58`
`59`		`-install(FILES SimpSMTSolver.h CoreSMTSolver.h`
	`59`	`+install(FILES SimpSMTSolver.h CoreSMTSolver.h SMTSolver.h`
`60`	`60`	`DESTINATION ${INSTALL_HEADERS_DIR})`