From def3a8ecb9b12214055c53af22cd6d3f939215c4 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 4 Nov 2019 16:31:19 +0000
Subject: Add Args change to Makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 33841ab..b71f581 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@ VS:=$(filter-out $(LIBVS) $(IGNORE:%=%.v),$(VS))
 
 .PHONY: coq clean
 
-ARGS := -R Kami Kami
+ARGS := -R CoqUp CoqUp
 
 coq: Makefile.coq.all
 	$(MAKE) -f Makefile.coq.all
-- 
cgit