Merge pull request #189 from diffblue/smowton/fix/remove_debug_code

smowton · web-flow · commit f25db0a15283 · 2017-09-14T12:05:41.000+01:00
Remove stray use of overlay_map
diff --git a/src/cbmc/cbmc_parse_options.cpp b/src/cbmc/cbmc_parse_options.cpp
@@ -22,7 +22,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <util/unicode.h>
 #include <util/memory_info.h>
 #include <util/invariant.h>
-#include <util/overlay_map.h>
 
 #include <ansi-c/c_preprocess.h>
 
@@ -105,8 +104,6 @@ void cbmc_parse_optionst::eval_verbosity()
 
 void cbmc_parse_optionst::get_command_line_options(optionst &options)
 {
-  overlay_map<int, int> omap;
-
   if(config.set(cmdline))
   {
     usage_error();

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,6 @@ Author: Daniel Kroening, [email protected]`
`22`	`22`	`#include <util/unicode.h>`
`23`	`23`	`#include <util/memory_info.h>`
`24`	`24`	`#include <util/invariant.h>`
`25`		`-#include <util/overlay_map.h>`
`26`	`25`
`27`	`26`	`#include <ansi-c/c_preprocess.h>`
`28`	`27`
`@@ -105,8 +104,6 @@ void cbmc_parse_optionst::eval_verbosity()`
`105`	`104`
`106`	`105`	`void cbmc_parse_optionst::get_command_line_options(optionst &options)`
`107`	`106`	`{`
`108`		`- overlay_map<int, int> omap;`
`109`		`-`
`110`	`107`	`if(config.set(cmdline))`
`111`	`108`	`{`
`112`	`109`	`usage_error();`