Whitespace fix

karkhaz · karkhaz · commit c07a4f1214c7 · 2019-03-05T15:14:55.000-05:00
diff --git a/src/util/expr_util.cpp b/src/util/expr_util.cpp
@@ -33,6 +33,7 @@ bool is_lvalue(const exprt &expr)
   else
     return false;
 }
+
 exprt make_binary(const exprt &expr)
 {
   const exprt::operandst &operands=expr.operands();

Original file line number	Diff line number	Diff line change
`@@ -33,6 +33,7 @@ bool is_lvalue(const exprt &expr)`
`33`	`33`	`else`
`34`	`34`	`return false;`
`35`	`35`	`}`
	`36`	`+`
`36`	`37`	`exprt make_binary(const exprt &expr)`
`37`	`38`	`{`
`38`	`39`	`const exprt::operandst &operands=expr.operands();`