X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Flib%2Fre%2Freb.ma;h=79a74c24d3fde9dbb9c444a761a167976824e4a8;hb=b2290acc0159c6ef4ccb1f628e3b649413fad87b;hp=7dbf69e1395b8984a004d01455447a02203c2449;hpb=a2a302a15f8c6773a12de044146c8002dbe14b11;p=helm.git

diff --git a/matita/matita/lib/re/reb.ma b/matita/matita/lib/re/reb.ma
index 7dbf69e13..79a74c24d 100644
--- a/matita/matita/lib/re/reb.ma
+++ b/matita/matita/lib/re/reb.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 include "arithmetics/nat.ma".
-include "basics/list.ma".
+include "basics/lists/list.ma".
 
 interpretation "iff" 'iff a b = (iff a b).