1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ba8add27..baccc9ab 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ endif
 
 BACKENDLIB?=Asmgenproof0.v Asmgenproof1.v
 
-DIRS=lib common $(ARCHDIRS) backend cfrontend driver \
+DIRS=lib lib/Impure common $(ARCHDIRS) backend cfrontend driver \
   flocq/Core flocq/Prop flocq/Calc flocq/IEEE754 \
   exportclight MenhirLib cparser