From 61a8bc9642caf192d8ad4c10c02ecbb38d465d13 Mon Sep 17 00:00:00 2001
From: "Junyoung/\"Clare\" Jang" <jjc9310@gmail.com>
Date: Mon, 25 Dec 2023 01:13:18 -0400
Subject: [PATCH] Update makefile

---
 theories/makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/theories/makefile b/theories/makefile
index 9dc9566b..bf30dfbe 100644
--- a/theories/makefile
+++ b/theories/makefile
@@ -15,6 +15,9 @@ all: $(COQMAKEFILE)
 
 -include $(COQMAKEFILE)
 
+post-all::
+	mv "$(PARSERBASE)" "$(PARSERFILE)"
+
 clean::
 	rm -f $(PARSERBASE)
 	rm -f $(patsubst %.ml,%.mli,$(PARSERBASE))