1 files changed, 1 insertions, 1 deletions
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