fix error message

kroening · kroening · commit aec479967ac7 · 2016-11-09T08:34:52.000Z
diff --git a/src/solvers/flattening/flatten_byte_operators.cpp b/src/solvers/flattening/flatten_byte_operators.cpp
@@ -365,7 +365,7 @@ exprt flatten_byte_update(
   else
   {
     throw "flatten_byte_update can only do array and scalars "
-          "right now, but "+t.id_string();
+          "right now, but got "+t.id_string();
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -365,7 +365,7 @@ exprt flatten_byte_update(`
`365`	`365`	`else`
`366`	`366`	`{`
`367`	`367`	`throw "flatten_byte_update can only do array and scalars "`
`368`		`- "right now, but "+t.id_string();`
	`368`	`+ "right now, but got "+t.id_string();`
`369`	`369`	`}`
`370`	`370`	`}`
`371`	`371`