From 6b67bd98ccc75e1a32b99d6be1d793ca26f6c9ff Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Fri, 17 Sep 2021 00:10:10 +0900
Subject: Add (vikalpa the-little-prover).

* vikalpa/the-little-prover.scm: New file.
* Makefile.am (SOURCES): Add vikalpa/the-little-prover.scm.
---
 Makefile.am | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile.am')

diff --git a/Makefile.am b/Makefile.am
index 9c0981a..80705da 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -42,7 +42,8 @@ godir=$(libdir)/guile/$(GUILE_EFFECTIVE_VERSION)/site-ccache
 bin_SCRIPTS =
 
 SOURCES =                       \
-  vikalpa.scm
+  vikalpa.scm                   \
+  vikalpa/the-little-prover.scm
 
 TESTS =                              \
   tests/test-vikalpa.scm             \
-- 
cgit v1.2.3