X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda%2Fparallel_reduction.ma;h=1d97b3b87a4fbe5566e8ebb252619b5817d07f58;hb=cbbbc763dc971b43fe74f1d08b797de5d1dc4f17;hp=eaa8b7ce14c7be524c1dac5099dc18c1905aca5b;hpb=5ca47b58902b9f2583ad1354b860c04ea62df46c;p=helm.git

diff --git a/matita/matita/contribs/lambda/parallel_reduction.ma b/matita/matita/contribs/lambda/parallel_reduction.ma
index eaa8b7ce1..1d97b3b87 100644
--- a/matita/matita/contribs/lambda/parallel_reduction.ma
+++ b/matita/matita/contribs/lambda/parallel_reduction.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 include "length.ma".
-include "labelled_sequential_reduction.ma".
+include "labeled_sequential_reduction.ma".
 
 (* PARALLEL REDUCTION (SINGLE STEP) *****************************************)