Merge pull request #1286 from tautschnig/cover-minor-fixes

Daniel Kroening · web-flow · commit af230929461a · 2017-08-23T13:03:37.000+01:00
Fixed whitespace around "="
diff --git a/src/goto-instrument/cover.cpp b/src/goto-instrument/cover.cpp
@@ -1075,7 +1075,7 @@ void instrument_cover_goals(
 
   Forall_goto_program_instructions(i_it, goto_program)
   {
-    std::string curr_function = id2string(i_it->function);
+    std::string curr_function=id2string(i_it->function);
 
     // if the --cover-function-only flag is set, then we only add coverage
     // instrumentation for the entry function

Original file line number	Diff line number	Diff line change
`@@ -1075,7 +1075,7 @@ void instrument_cover_goals(`
`1075`	`1075`
`1076`	`1076`	`Forall_goto_program_instructions(i_it, goto_program)`
`1077`	`1077`	`{`
`1078`		`- std::string curr_function = id2string(i_it->function);`
	`1078`	`+ std::string curr_function=id2string(i_it->function);`
`1079`	`1079`
`1080`	`1080`	`// if the --cover-function-only flag is set, then we only add coverage`
`1081`	`1081`	`// instrumentation for the entry function`