diff --git a/Makefile b/Makefile
index 9f3949af..e64886dc 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 include Make.inc
-#PREC=../mld2p4-dev
+#PREC=../mld2p4
 PREC=prec
 
 library: