Remove unused variable assignment

antlechner · antlechner · commit 0714defc2bb0 · 2019-09-19T15:30:43.000+01:00
diff --git a/src/goto-programs/lazy_goto_functions_map.h b/src/goto-programs/lazy_goto_functions_map.h
@@ -192,7 +192,6 @@ class lazy_goto_functions_mapt final
     {
       // Fill in symbol table entry body if not already done
       language_files.convert_lazy_method(name, function_symbol_table);
-      body_provided = function_symbol_table.lookup_ref(name).value.is_not_nil();
 
       // Create goto_functiont
       goto_convert_functionst convert_functions(

Original file line number	Diff line number	Diff line change
`@@ -192,7 +192,6 @@ class lazy_goto_functions_mapt final`
`192`	`192`	`{`
`193`	`193`	`// Fill in symbol table entry body if not already done`
`194`	`194`	`language_files.convert_lazy_method(name, function_symbol_table);`
`195`		`- body_provided = function_symbol_table.lookup_ref(name).value.is_not_nil();`
`196`	`195`
`197`	`196`	`// Create goto_functiont`
`198`	`197`	`goto_convert_functionst convert_functions(`