From 87a15e960e31365698df7e06cd3e6b851e17c1a5 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Sun, 5 Mar 2023 10:13:01 +0100
Subject: I made a mess, but it works. Still need to implement new optimal
 solver. After that, a big redesign is due.

---
 src/threader_eager.h | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 src/threader_eager.h

(limited to 'src/threader_eager.h')

diff --git a/src/threader_eager.h b/src/threader_eager.h
new file mode 100644
index 0000000..e39b27f
--- /dev/null
+++ b/src/threader_eager.h
@@ -0,0 +1,8 @@
+#ifndef THREADER_EAGER_H
+#define THREADER_EAGER_H
+
+#include "solve.h"
+
+extern Threader threader_eager;
+
+#endif
-- 
cgit v1.3