smt2: add a missing space

Daniel Kroening · Daniel Kroening · commit eae5bca4498b · 2019-01-02T11:53:59.000Z
diff --git a/src/solvers/smt2/smt2_conv.cpp b/src/solvers/smt2/smt2_conv.cpp
@@ -3611,7 +3611,7 @@ void smt2_convt::convert_with(const with_exprt &expr)
         // the member is at the end
         out << "(concat ";
         convert_expr(value);
-        out << "((_ extract " << (m.offset-1) << " 0) ?withop))";
+        out << " ((_ extract " << (m.offset - 1) << " 0) ?withop))";
       }
       else
       {

Original file line number	Diff line number	Diff line change
`@@ -3611,7 +3611,7 @@ void smt2_convt::convert_with(const with_exprt &expr)`
`3611`	`3611`	`// the member is at the end`
`3612`	`3612`	`out << "(concat ";`
`3613`	`3613`	`convert_expr(value);`
`3614`		`- out << "((_ extract " << (m.offset-1) << " 0) ?withop))";`
	`3614`	`+ out << " ((_ extract " << (m.offset - 1) << " 0) ?withop))";`
`3615`	`3615`	`}`
`3616`	`3616`	`else`
`3617`	`3617`	`{`