Fix Windows error by changing scope of namespace

TGWDB · NlightNFotis · commit f869882dfd9c · 2021-09-09T13:37:17.000+01:00
This moves a dummy namespace needed for expr2c to be created as
the argument to the call.
diff --git a/src/goto-instrument/cover_instrument_assume.cpp b/src/goto-instrument/cover_instrument_assume.cpp
@@ -21,11 +21,11 @@ void cover_assume_instrumentert::instrument(
   const cover_blocks_baset &,
   const assertion_factoryt &make_assertion) const
 {
-  namespacet ns{symbol_tablet()};
   if(i_it->is_assume())
   {
     const auto location = i_it->source_location;
-    const auto assume_condition = expr2c(i_it->get_condition(), ns);
+    const auto assume_condition =
+      expr2c(i_it->get_condition(), namespacet{symbol_tablet()});
     const auto comment_before =
       "assert(false) before assume(" + assume_condition + ")";
     const auto comment_after =

Original file line number	Diff line number	Diff line change
`@@ -21,11 +21,11 @@ void cover_assume_instrumentert::instrument(`
`21`	`21`	`const cover_blocks_baset &,`
`22`	`22`	`const assertion_factoryt &make_assertion) const`
`23`	`23`	`{`
`24`		`- namespacet ns{symbol_tablet()};`
`25`	`24`	`if(i_it->is_assume())`
`26`	`25`	`{`
`27`	`26`	`const auto location = i_it->source_location;`
`28`		`- const auto assume_condition = expr2c(i_it->get_condition(), ns);`
	`27`	`+ const auto assume_condition =`
	`28`	`+ expr2c(i_it->get_condition(), namespacet{symbol_tablet()});`
`29`	`29`	`const auto comment_before =`
`30`	`30`	`"assert(false) before assume(" + assume_condition + ")";`
`31`	`31`	`const auto comment_after =`