--precision fixed

dreal · Jun 9, 2015 · 5ee554e · 5ee554e
1 parent 9251ecd
commit 5ee554e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/DecisionProcedure.cpp b/src/DecisionProcedure.cpp
@@ -167,7 +167,7 @@ bool DecisionProcedure::call_dreach(string drh_filename_base, double precision)
 
 	if(precision > 0)
 	{
-		s << " --precision=" << precision;
+		s << " --precision " << precision;
 	}
 	s << " > /dev/null" << endl;