X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Fcsx_gcr.ma;h=03970d35b9b85bd3fe03c077015806f1de354605;hb=a67fc50ccfda64377e2c94c18c3a0d9265f651db;hp=668b023d5c05460cda057c1bfc51d646583b35c0;hpb=f129bbbfda0e65a5f92ec086246f6e288376d4f9;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_gcr.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_gcr.ma
index 668b023d5..03970d35b 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_gcr.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_gcr.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "basic_2/static/gcp_cr.ma".
+include "static_2/static/gcp_cr.ma".
 include "basic_2/rt_computation/csx_cnx_vector.ma".
 include "basic_2/rt_computation/csx_csx_vector.ma".