From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 22 Oct 2012 20:01:54 +0000 (+0000)
Subject: one more incorrect #line fixed
X-Git-Tag: cvc5-1.0.0~7690
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=056b2862761b8805d8035a8dc03672627e9d8b98;p=cvc5.git

one more incorrect #line fixed
---

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index a2ecafa95..d7cd8813b 100644
--- 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