From: Ferruccio Guidi Date: Fri, 2 Jun 2017 20:18:37 +0000 (+0000) Subject: one file was missing :( X-Git-Tag: make_still_working~442 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=5ea718c8b65a9ca62e8b602800667259b8b2d090 one file was missing :( --- diff --git a/matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_bind.ma b/matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_bind.ma index 65a8e5f22..0bf6b9fad 100644 --- a/matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_bind.ma +++ b/matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_bind.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -include "basic_2/syntax/bind.ma". +include "basic_2/syntax/bind_ext2.ma". include "basic_2/relocation/lifts.ma". (* GENERIC RELOCATION FOR BINDERS *******************************************)