diff --git a/verif/LEC/Makefile b/verif/LEC/Makefile
index 7d3ccdb0..4fdbd9da 100755
--- a/verif/LEC/Makefile
+++ b/verif/LEC/Makefile
@@ -5,9 +5,11 @@ eda_check:
 	@$(CHECK_EDA_PATH)
 
 fm_run: eda_check
+	git clone https://github.com/Lampro-Mellon/LEC_RTL.git
 	$(fm_run) 
 	@mv *.log formality_work/formality_log
 
 fm_gui: eda_check
+	git clone https://github.com/Lampro-Mellon/LEC_RTL.git
 	formality &
 	@mv *.log formality_work/formality_log