one more incorrect #line fixed

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index a2ecafa95a23ba1fa97a74cba433385ef3923fd0..d7cd8813b214f4db291fd0a8bb6567a1f855a899 100644 (file)
--- a/src/options/options_template.cpp
+++ b/src/options/options_template.cpp
@@ -181,7 +181,7 @@ void runBoolPredicates(T, std::string option, bool b, SmtEngine* smt) {
 
 ${all_custom_handlers}
 
-#line 220 "${template}"
+#line 185 "${template}"
 
 #ifdef CVC4_DEBUG
 #  define USE_EARLY_TYPE_CHECKING_BY_DEFAULT true