From 9416cf44e2e687566e16d76c763e6869a610b925 Mon Sep 17 00:00:00 2001 From: Colin Okay Date: Sun, 30 Oct 2022 18:15:42 -0500 Subject: Fix: run function --- run.lisp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'run.lisp') 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))) -- cgit v1.2.3