- Procedural convertible rewrites in the conclusion are now detected and replaced...

[helm.git] / helm / software / matita / contribs / procedural / library / Makefile

diff --git a/helm/software/matita/contribs/procedural/library/Makefile b/helm/software/matita/contribs/procedural/library/Makefile
index bd75dbd6d9c6d47567f18bc7018fefacfdc53826..6d8bdcaab2d94067561bfb47045a681cf8ee8a6a 100644 (file)
--- a/helm/software/matita/contribs/procedural/library/Makefile
+++ b/helm/software/matita/contribs/procedural/library/Makefile
@@ -1,3 +1,4 @@
 DEVEL = library
+MATITAOPTIONS = -no-default-includes
 
 include ../Makefile.common