Merge pull request diffblue#190 from diffblue/bugfix/models_plug_makefile

Bugfix: removal of one level of ".." in paths in the makefile.

Author: marek-trtik

benchmarks/LIBRARIES/models/plug/Makefile

@@ -3,10 +3,10 @@ SRC = \
   java/lang/boolean.cpp \
   # Empty
 
-INCLUDES= -I . -I include -I ../../../src -I ../../../../../$(CPROVER_DIR)
+INCLUDES= -I . -I include -I ../../../src -I ../../../../$(CPROVER_DIR)
 
-include ../../../../../$(CPROVER_DIR)/config.inc
-include ../../../../../$(CPROVER_DIR)/common
+include ../../../../$(CPROVER_DIR)/config.inc
+include ../../../../$(CPROVER_DIR)/common
 
 CLEANFILES = models-library$(LIBEXT)