Fix: run function

1 files changed, 2 insertions, 1 deletions

diff --git a/run.lisp b/run.lisp
index 8961b91..aa534bd 100644
--- a/run.lisp
+++ b/run.lisp
@@ -12,4 +12,5 @@
 (defun run-vampire ()
   (let ((conf-file (get-option "--config")))
     (start-vampire (config-from-file conf-file)))
-  (loop while *runningp* do (sleep 1)))
+  (loop
+    (sleep 1)))