From 6f4313bc1ed5be794146e6ca2fd73f48c7906061 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Mon, 1 May 2023 12:48:55 +0200
Subject: Reverted to 2.0.3

---
 src/threader_eager.h | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 src/threader_eager.h

(limited to 'src/threader_eager.h')

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