Merge pull request diffblue#219 from diffblue/bugfix/reverting_indentation_to_make_compiler_silent

smowton · web-flow · commit af1756c95741 · 2017-09-29T15:14:57.000+01:00
Reverting indentation in order to make the compiler silent.
diff --git a/cbmc/src/java_bytecode/ci_lazy_methods.cpp b/cbmc/src/java_bytecode/ci_lazy_methods.cpp
@@ -187,7 +187,7 @@ bool ci_lazy_methodst::operator()(
     }
     if(sym.second.type.id()==ID_code)
       gather_needed_globals(sym.second.value, symbol_table, unreachable_symbols);
-      unreachable_symbols.erase(sym.first);
+    unreachable_symbols.erase(sym.first);
   }
 
   debug()

Original file line number	Diff line number	Diff line change
`@@ -187,7 +187,7 @@ bool ci_lazy_methodst::operator()(`
`187`	`187`	`}`
`188`	`188`	`if(sym.second.type.id()==ID_code)`
`189`	`189`	`gather_needed_globals(sym.second.value, symbol_table, unreachable_symbols);`
`190`		`- unreachable_symbols.erase(sym.first);`
	`190`	`+ unreachable_symbols.erase(sym.first);`
`191`	`191`	`}`
`192`	`192`
`193`	`193`	`debug()`