get rid of debugging for checking OUTER iteration; leave SIGINT handler and fix to...

[moebius2.git] / minimise.h

diff --git a/minimise.h b/minimise.h
index cf450c248781d203d6b7fc58bd63ddea4135110d..c2e13e7b40fef83169495c5b2754fc91333c90d1 100644 (file)
--- a/minimise.h
+++ b/minimise.h
@@ -31,10 +31,6 @@ extern const char *input_file, *best_file;
 extern char *best_file_tmp;
 extern long long evaluations;
 extern double stop_epsilon;
-extern int quitting_last_iteration;
-
-#include <signal.h>
-extern sig_atomic_t quitting_reported_threads;
 
 enum printing_instance { pr_cost, pr_size, pr__max };
 int printing_check(enum printing_instance, int indent);