Update Makefile

Beluga-lang · Nov 16, 2024 · 1c6567d · 1c6567d
1 parent 2f662c9
commit 1c6567d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ""; \