From 39b707ad22813c184da61c3e2337359ca8061797 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 30 Jan 2010 02:22:25 +0000
Subject: cnf conversion (variable-introducing), cleanups, fixes to minisat
 calling for multiple-query cases

---
 src/parser/antlr_parser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parser')

diff --git a/src/parser/antlr_parser.cpp b/src/parser/antlr_parser.cpp
index dd052ca2e..b7361eb0f 100644
--- a/src/parser/antlr_parser.cpp
+++ b/src/parser/antlr_parser.cpp
@@ -47,7 +47,7 @@ unsigned AntlrParser::getPrecedence(Kind kind) {
   case AND:
     return 5;
   default:
-    Unhandled ("Undefined precedence - necessary for proper parsing of CVC files!");
+    Unhandled("Undefined precedence - necessary for proper parsing of CVC files!");
   }
   return 0;
 }
-- 
cgit v1.2.3