From a8fbe0d9606d0d832a8be6875e70a6d8c83a760a Mon Sep 17 00:00:00 2001
From: Timur Yusupov <timur@Timurs-MBP.local>
Date: Tue, 24 Jul 2018 19:45:15 +0300
Subject: [PATCH] #25: knossos.competition checker is blocked by
 linear/start-analysis

---
 src/knossos/model/memo.clj | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/knossos/model/memo.clj b/src/knossos/model/memo.clj
index cde895e..3141eaf 100644
--- a/src/knossos/model/memo.clj
+++ b/src/knossos/model/memo.clj
@@ -200,5 +200,6 @@
   search."
   [model history]
   (let [history (canonical-history history)]
+    wrapped-model (future (wrapper model history))
     {:history history
-     :model   (wrapper model history)}))
+     :model   (deref wrapped-model 60000 model)}))