- probe: new application to compute some data on the proof objects of

[helm.git] / matita / matita / contribs / lambda / parallel_reduction.ma

diff --git a/matita/matita/contribs/lambda/parallel_reduction.ma b/matita/matita/contribs/lambda/parallel_reduction.ma
index eaa8b7ce14c7be524c1dac5099dc18c1905aca5b..1d97b3b87a4fbe5566e8ebb252619b5817d07f58 100644 (file)
--- 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) *****************************************)