Fixed typo

HOL-Theorem-Prover · Nov 22, 2018 · a397804 · a397804
1 parent 0d9f59e
commit a397804
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/repls/sublimehol_repl.py b/repls/sublimehol_repl.py
@@ -43,7 +43,7 @@ def send_signal(self, sig):
         if sig == signal.SIGTERM:
             self._killed = True
         out_queue = self.store_dict.get("print_queue",None)
-        elif sig == signal.SIGINT and out_queue:
+        if sig == signal.SIGINT and out_queue:
             with out_queue.mutex:
                 out_queue.queue.clear()
         if self.is_alive():