Adding timeout for Alloy interpreter

[satune.git] / src / Test / printtuner.cc

diff --git a/src/Test/printtuner.cc b/src/Test/printtuner.cc
index 1c63b2f3a065162aa8bc60967ae801ced2ae4b6a..8a3ccbd00c7cdd7a936849b048f76a56af5829ec 100644 (file)
--- a/src/Test/printtuner.cc
+++ b/src/Test/printtuner.cc
@@ -1,5 +1,5 @@
 #include "csolver.h"
-#include "multituner.h"
+#include "comptuner.h"
 #include "searchtuner.h"
 
 int main(int argc, char **argv) {