From cd7427e42b773bc787a00c12d8f7bff569bd9d85 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 8 Nov 2020 08:08:41 +0900
Subject: wip8

---
 rabbit-prover.scm | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'rabbit-prover.scm')

diff --git a/rabbit-prover.scm b/rabbit-prover.scm
index a3f0a58..b5e7fbc 100644
--- a/rabbit-prover.scm
+++ b/rabbit-prover.scm
@@ -632,8 +632,7 @@
 (define-syntax define-axiom
   (syntax-rules ()
     ((_ name (var ...) expr)
-     (current-book
-      (add-book (axiom 'name '(var ...) 'expr))))))
+     (add-book (axiom 'name '(var ...) 'expr)))))
 
 (define-syntax define-theorem
   (syntax-rules ()
@@ -720,7 +719,7 @@
     ((or x . xs) (if x x (or . xs))))
   (define-macro atom? ()
     ((atom? x) (not (pair? x))))
-  
+
   (define-axiom if-not (x y z)
     (equal? (if (not x)
                 y
-- 
cgit v1.2.3