Merge pull request diffblue#283 from diffblue/reachable-instructions-makefile-fixup

Update janalyzer Makefile for renamed reachable_instructions.cpp

Author: chrisr-diffblue

jbmc/src/janalyzer/Makefile

@@ -18,7 +18,7 @@ OBJ += ../$(CPROVER_DIR)/src/ansi-c/ansi-c$(LIBEXT) \
       ../$(CPROVER_DIR)/src/goto-analyzer/static_verifier$(OBJEXT) \
       ../$(CPROVER_DIR)/src/goto-analyzer/taint_analysis$(OBJEXT) \
       ../$(CPROVER_DIR)/src/goto-analyzer/taint_parser$(OBJEXT) \
-      ../$(CPROVER_DIR)/src/goto-analyzer/unreachable_instructions$(OBJEXT) \
+      ../$(CPROVER_DIR)/src/goto-analyzer/instruction_reachability$(OBJEXT) \
       # Empty last line
 
 INCLUDES= -I .. -I ../$(CPROVER_DIR)/src