diffblue
diff --git a/Diff for: ‎jbmc/src/jbmc/Makefile
+1-3 b/Diff for: ‎jbmc/src/jbmc/Makefile
+1-3
diff --git a/Diff for: ‎jbmc/src/jbmc/all_properties.cpp
-306 b/Diff for: ‎jbmc/src/jbmc/all_properties.cpp
-306
@@ -1,6 +1,4 @@
-SRC = all_properties.cpp \
-      bmc.cpp \
-      jbmc_main.cpp \
+SRC = jbmc_main.cpp \
       jbmc_parse_options.cpp \
       # Empty last line