X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Fgcp_cr.ma;h=4493ae7af89d02aa535034317b32251a0ff3aae5;hb=6bfdcdaf50cc3e5ca25079cd4006aeefac73c8c2;hp=6b5dfef444291d3a02e502e66ed9269c6e841dc9;hpb=947cce807d981f19db426f7feb7853b34cce0bfc;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/gcp_cr.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/gcp_cr.ma
index 6b5dfef44..4493ae7af 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/gcp_cr.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/gcp_cr.ma
@@ -78,6 +78,7 @@ interpretation
 
 (* Basic properties *********************************************************)
 
+(* Note: this requires Ⓕ-slicing in cfun since b is unknown in d_liftable_1 *) 
 (* Note: this requires multiple relocation *)
 (* Basic 1: includes: sc3_lift *)
 (* Basic 2A1: includes: gcr_lift *)