From b3bcafc179201e33c4f41ccf028c12eacc110d69 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Mon, 7 Dec 2009 05:51:09 +0000
Subject: antlr parser for the cvc4 language (boolean only) yet to be
 finalized, it should work as expected

---
 .project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.project')

diff --git a/.project b/.project
index adf143138..878b8f93e 100644
--- a/.project
+++ b/.project
@@ -23,7 +23,7 @@
 				</dictionary>
 				<dictionary>
 					<key>org.eclipse.cdt.make.core.buildArguments</key>
-					<value>-j</value>
+					<value></value>
 				</dictionary>
 				<dictionary>
 					<key>org.eclipse.cdt.make.core.buildCommand</key>
-- 
cgit v1.2.3