Merge pull request diffblue#189 from diffblue/smowton/fix/remove_debu…

…g_code Remove stray use of overlay_map
smowton · Sep 14, 2017 · f25db0a · f25db0a
2 parents a2834d0 + 1fae64c
commit f25db0a
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/cbmc/cbmc_parse_options.cpp b/src/cbmc/cbmc_parse_options.cpp
@@ -22,7 +22,6 @@ Author: Daniel Kroening, [email protected]
 #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();