diffblue
diff --git a/‎src/goto-programs/Makefile
-1 b/‎src/goto-programs/Makefile
-1
diff --git a/‎src/goto-programs/property_checker.cpp
-56 b/‎src/goto-programs/property_checker.cpp
-56
diff --git a/‎src/goto-programs/property_checker.h
-55 b/‎src/goto-programs/property_checker.h
-55
@@ -36,7 +36,6 @@ SRC = adjust_float_expressions.cpp \
       osx_fat_reader.cpp \
       parameter_assignments.cpp \
       pointer_arithmetic.cpp \
-      property_checker.cpp \
       read_bin_goto_object.cpp \
       read_goto_binary.cpp \
       rebuild_goto_start_function.cpp \