From 5ea718c8b65a9ca62e8b602800667259b8b2d090 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 2 Jun 2017 20:18:37 +0000 Subject: [PATCH] one file was missing :( --- .../contribs/lambdadelta/basic_2/relocation/lifts_bind.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 *******************************************) -- 2.39.2