diffblue
diff --git a/Diff for: ‎src/goto-programs/Makefile
-1 b/Diff for: ‎src/goto-programs/Makefile
-1
diff --git a/Diff for: ‎src/goto-programs/property_checker.cpp
-60 b/Diff for: ‎src/goto-programs/property_checker.cpp
-60
diff --git a/Diff for: ‎src/goto-programs/property_checker.h
-55 b/Diff for: ‎src/goto-programs/property_checker.h
-55
@@ -37,7 +37,6 @@ SRC = adjust_float_expressions.cpp \
       parameter_assignments.cpp \
       pointer_arithmetic.cpp \
       printf_formatter.cpp \
-      property_checker.cpp \
       read_bin_goto_object.cpp \
       read_goto_binary.cpp \
       rebuild_goto_start_function.cpp \