format

ArenBabikian · ArenBabikian · commit 55815b7c91c1 · 2021-04-06T15:36:30.000Z
diff --git a/src/goto-instrument/code_contracts.cpp b/src/goto-instrument/code_contracts.cpp
@@ -169,8 +169,7 @@ void code_contractst::add_quantified_variable(
   replace_symbolt &replace,
   irep_idt mode)
 {
-  if(
-    expression.id() == ID_not || expression.id() == ID_typecast)
+  if(expression.id() == ID_not || expression.id() == ID_typecast)
   {
     // For unary connectives, recursively check for
     // nested quantified formulae in the term

Original file line number	Diff line number	Diff line change
`@@ -169,8 +169,7 @@ void code_contractst::add_quantified_variable(`
`169`	`169`	`replace_symbolt &replace,`
`170`	`170`	`irep_idt mode)`
`171`	`171`	`{`
`172`		`- if(`
`173`		`- expression.id() == ID_not \|\| expression.id() == ID_typecast)`
	`172`	`+ if(expression.id() == ID_not \|\| expression.id() == ID_typecast)`
`174`	`173`	`{`
`175`	`174`	`// For unary connectives, recursively check for`
`176`	`175`	`// nested quantified formulae in the term`