fix(opensmt/egraph/EgraphStore.C): use fabs instead of abs

soonhokong · soonhokong · commit 3cc1370a5789 · 2016-05-20T12:20:15.000-04:00
diff --git a/src/opensmt/egraph/EgraphStore.C b/src/opensmt/egraph/EgraphStore.C
@@ -844,7 +844,7 @@ Enode * Egraph::mkAbs (Enode * args)
   if (config.nra_simp) {
     Enode * const arg = args->getCar();
     if (arg->isConstant()) {
-      return mkNum(abs(arg->getValue()));
+      return mkNum(fabs(arg->getValue()));
     }
   }
   Enode * res = cons( id_to_enode[ ENODE_ID_ABS], args );

Original file line number	Diff line number	Diff line change
`@@ -844,7 +844,7 @@ Enode * Egraph::mkAbs (Enode * args)`
`844`	`844`	`if (config.nra_simp) {`
`845`	`845`	`Enode * const arg = args->getCar();`
`846`	`846`	`if (arg->isConstant()) {`
`847`		`- return mkNum(abs(arg->getValue()));`
	`847`	`+ return mkNum(fabs(arg->getValue()));`
`848`	`848`	`}`
`849`	`849`	`}`
`850`	`850`	`Enode * res = cons( id_to_enode[ ENODE_ID_ABS], args );`