X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FMakefile;h=214ce0711b0a281d68f92d2a50a1dcb0a286b2b1;hb=de0eae04721942f08b7281664bfbc26badf5de84;hp=c0805522d04b2c5efca292fbffa0a9b3978056ee;hpb=076f639446efce8d8cf83dcf7ca40b4376fc8c36;p=helm.git

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile
index c0805522d..214ce0711 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile
@@ -1,6 +1,6 @@
 H=@
 
-MATITAOPTIONS=-onepass
+MATITAOPTIONS=$(MATITAUSEROPTIONS) -onepass
 
 DIR=$(shell basename $$PWD)