1 files changed, 11 insertions, 0 deletions
diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp
index 5658b17b0..87dc1ecc1 100644
--- a/src/options/options_handler.cpp
+++ b/src/options/options_handler.cpp
@@ -1281,6 +1281,17 @@ void OptionsHandler::proofEnabledBuild(std::string option, bool value) throw(Opt
 #endif /* CVC4_PROOF */
 }
 
+void OptionsHandler::LFSCEnabledBuild(std::string option, bool value) {
+#ifndef CVC4_USE_LFSC
+  if (value) {
+    std::stringstream ss;
+    ss << "option `" << option << "' requires a build of CVC4 with integrated "
+                                  "LFSC; this binary was not built with LFSC";
+    throw OptionException(ss.str());
+  }
+#endif /* CVC4_USE_LFSC */
+}
+
 void OptionsHandler::notifyDumpToFile(std::string option) {
   d_options->d_dumpToFileListeners.notify();
 }