fix 52bca0f

fmlab-iis · Aug 25, 2024 · 02466c4 · 02466c4
1 parent f5ce489
commit 02466c4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/timbuk_parser-nobison.cc b/src/timbuk_parser-nobison.cc
@@ -960,7 +960,7 @@ AUTOQ::Automata<Symbol> AUTOQ::Parsing::TimbukParser<Symbol>::ReadAutomaton(cons
                         constants[lhs] = ComplexParser(rhs).getComplex();
                     } else {
                         AUTOQ_ERROR("[ERROR] The constant \"" + lhs + "\" is already defined.");
-                        exit(1);
+                        throw std::runtime_error(AUTOQ_LOG_PREFIX + "[ERROR] The constant \"" + lhs + "\" is already defined.");
                     }
                 }
             }
@@ -982,7 +982,7 @@ AUTOQ::Automata<Symbol> AUTOQ::Parsing::TimbukParser<Symbol>::ReadAutomaton(cons
                         predicates[lhs] = rhs;
                     } else {
                         AUTOQ_ERROR("[ERROR] The predicate \"" + lhs + "\" is already defined.");
-                        exit(1);
+                        throw std::runtime_error(AUTOQ_LOG_PREFIX + "[ERROR] The predicate \"" + lhs + "\" is already defined.");
                     }
                 }
             }