- librarian: 3 bugs fixed in the building system:

[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 0fa53112e40baabd1580e496d53f5d210b6de706..6d8bdcaab2d94067561bfb47045a681cf8ee8a6a 100644 (file)
--- a/helm/software/matita/contribs/procedural/library/Makefile
+++ b/helm/software/matita/contribs/procedural/library/Makefile
@@ -1,4 +1,4 @@
 DEVEL = library
-MATITAOPTIONS = -no-default-includes -onepass
+MATITAOPTIONS = -no-default-includes
 
 include ../Makefile.common