X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2Flibrary%2FMakefile;h=6d8bdcaab2d94067561bfb47045a681cf8ee8a6a;hb=434258767bd3307ea05d9eab48892a6fff73888d;hp=0fa53112e40baabd1580e496d53f5d210b6de706;hpb=916c558005ed665c62699a7a4c5347870c8a3efb;p=helm.git

diff --git a/helm/software/matita/contribs/procedural/library/Makefile b/helm/software/matita/contribs/procedural/library/Makefile
index 0fa53112e..6d8bdcaab 100644
--- 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