X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fpartial_compile.sh;h=61fb60662fc693be287fa871722cdf1621f24099;hb=1ddb3f36f9230e326df60e6db7ef2624a9c16930;hp=319fa8704e84fa714455fe012a1ed628b7fc6373;hpb=65383ff6ec2236b0a61310b872ea4cd5fcc26fb7;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/partial_compile.sh b/matita/matita/contribs/lambdadelta/partial_compile.sh
index 319fa8704..61fb60662 100644
--- a/matita/matita/contribs/lambdadelta/partial_compile.sh
+++ b/matita/matita/contribs/lambdadelta/partial_compile.sh
@@ -1,3 +1,4 @@
+../../matitac.opt `cat partial.txt`
 cd basic_2/rt_transition/
 ../../../../matitac.opt `cat partial.txt`
 cd ../rt_computation/