1)Making naiveencoder and encoding graph use tuner 2)Adding timeout to the sat solver...

[satune.git] / src / common.mk

diff --git a/src/common.mk b/src/common.mk
index fbd6f8872dda4dde337b90d42c0dad8f722ae7d6..8ffb36415bedd1a82654855695bdbf3b0be88dcd 100644 (file)
--- a/src/common.mk
+++ b/src/common.mk
@@ -1,7 +1,7 @@
 # A few common Makefile items
 
 CC := gcc
-CXX := g++-5
+CXX := g++
 
 UNAME := $(shell uname)