Merge pull request diffblue#2512 from tautschnig/fix-typo

Daniel Kroening · web-flow · commit a9e4ce942bf6 · 2018-07-03T12:03:55.000+01:00
Fix typo seperated -&gt; separated
diff --git a/src/goto-instrument/splice_call.cpp b/src/goto-instrument/splice_call.cpp
@@ -46,7 +46,7 @@ bool splice_call(
   std::vector<std::string> caller_callee;
   if(parse_caller_callee(callercallee, caller_callee))
   {
-    message.error() << "Expecting two function names seperated by a comma"
+    message.error() << "Expecting two function names separated by a comma"
                     << messaget::eom;
     return true;
   }

Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ bool splice_call(`
`46`	`46`	`std::vector<std::string> caller_callee;`
`47`	`47`	`if(parse_caller_callee(callercallee, caller_callee))`
`48`	`48`	`{`
`49`		`- message.error() << "Expecting two function names seperated by a comma"`
	`49`	`+ message.error() << "Expecting two function names separated by a comma"`
`50`	`50`	`<< messaget::eom;`
`51`	`51`	`return true;`
`52`	`52`	`}`