Adding checks to avoid further processing on UNSAT Problems

[satune.git] / src / common.mk

diff --git a/src/common.mk b/src/common.mk
index b99e2db7c69a602ee44dd4d9581e2d80a3693db5..1533d5f81cb96ff8e7412a094041bb5da178cf09 100644 (file)
--- a/src/common.mk
+++ b/src/common.mk
@@ -5,7 +5,7 @@ CXX := g++
 JAVAC := javac
 
 UNAME := $(shell uname)
-JAVA_INC := /usr/lib/jvm/java-1.8.0-openjdk-amd64/include/
+JAVA_INC := /usr/lib/jvm/default-java/include/
 LIB_NAME := cons_comp
 LIB_SO := lib_$(LIB_NAME).so