diffblue
diff --git a/‎src/goto-programs/Makefile
Lines changed: 0 additions & 1 deletion b/‎src/goto-programs/Makefile
Lines changed: 0 additions & 1 deletion
diff --git a/‎src/goto-programs/initialize_goto_model.cpp
Lines changed: 0 additions & 162 deletions b/‎src/goto-programs/initialize_goto_model.cpp
Lines changed: 0 additions & 162 deletions
diff --git a/‎src/goto-programs/initialize_goto_model.h
Lines changed: 0 additions & 25 deletions b/‎src/goto-programs/initialize_goto_model.h
Lines changed: 0 additions & 25 deletions
@@ -7,7 +7,6 @@ SRC = basic_blocks.cpp \
       destructor.cpp \
       elf_reader.cpp \
       format_strings.cpp \
-      initialize_goto_model.cpp \
       get_goto_model.cpp \
       goto_asm.cpp \
       goto_clean_expr.cpp \