From 7a238e7df0c9c7c684b7f761f495b21aa088bd68 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Mon, 9 Nov 2020 02:56:59 +0900
Subject: wip10

---
 configure.ac | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index fdfce62..6d8e522 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,5 +1,5 @@
-AC_INIT([rabbit-prover], [0.0.0])
-AC_CONFIG_SRCDIR([rabbit-prover.scm])
+AC_INIT([vikalpa], [0.0.0])
+AC_CONFIG_SRCDIR([vikalpa.scm])
 AC_CONFIG_AUX_DIR([build-aux])
 AM_INIT_AUTOMAKE([-Wall -Werror foreign])
 AM_SILENT_RULES([yes])
-- 
cgit v1.2.3