Procedural: we corrected two errors about the handling of mutcase (the "cases"

[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..0fa53112e40baabd1580e496d53f5d210b6de706 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 -onepass
 
 include ../Makefile.common