From 025d51a54e3b1ed50caa48e3799d84270c5adf70 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Tue, 24 Nov 2020 18:12:32 +0900
Subject: wip34

---
 vikalpa/the-little-prover.scm | 1 -
 1 file changed, 1 deletion(-)

(limited to 'vikalpa')

diff --git a/vikalpa/the-little-prover.scm b/vikalpa/the-little-prover.scm
index fd71082..b892f7f 100644
--- a/vikalpa/the-little-prover.scm
+++ b/vikalpa/the-little-prover.scm
@@ -112,7 +112,6 @@
     (if (natural? x)
         (equal? (natural? (succ x)) #t)
         #t))
-  
 
   ;; Prelude
   (define-function list-induction (x)
-- 
cgit v1.2.3