replace iso646 operators

kroening · kroening · commit e9f57116c1f9 · 2016-11-07T22:57:04.000Z
diff --git a/src/solvers/flattening/boolbv_quantifier.cpp b/src/solvers/flattening/boolbv_quantifier.cpp
@@ -178,7 +178,7 @@ Function: instantiate_quantifier
 bool instantiate_quantifier(exprt &expr,
                             const namespacet &ns)
 {
-  if(not(expr.id()==ID_forall || expr.id()==ID_exists))
+  if(!(expr.id()==ID_forall || expr.id()==ID_exists))
     return true;
 
   assert(expr.operands().size()==2);

Original file line number	Diff line number	Diff line change
`@@ -178,7 +178,7 @@ Function: instantiate_quantifier`
`178`	`178`	`bool instantiate_quantifier(exprt &expr,`
`179`	`179`	`const namespacet &ns)`
`180`	`180`	`{`
`181`		`- if(not(expr.id()==ID_forall \|\| expr.id()==ID_exists))`
	`181`	`+ if(!(expr.id()==ID_forall \|\| expr.id()==ID_exists))`
`182`	`182`	`return true;`
`183`	`183`
`184`	`184`	`assert(expr.operands().size()==2);`