From 1c6567d8fe9436f996ae16798969deae903e8608 Mon Sep 17 00:00:00 2001
From: "Junyoung/\"Clare\" Jang" <jjc9310@gmail.com>
Date: Sat, 16 Nov 2024 18:42:55 -0500
Subject: [PATCH] Update Makefile

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

diff --git a/theories/Makefile b/theories/Makefile
index 52eb44e..09ef36f 100644
--- a/theories/Makefile
+++ b/theories/Makefile
@@ -44,7 +44,7 @@ clean: $(COQMAKEFILE)
 
 .PHONY: update_CoqProject
 update_CoqProject: clean
-	(echo "-R . Mcltt"; \
+	(echo "-R . Mctt"; \
         echo ""; \
         echo "-arg -w -arg -cast-in-pattern,-notation-overridden"; \
         echo ""; \