X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fre%2Freb.ma;h=79a74c24d3fde9dbb9c444a761a167976824e4a8;hb=bf5696fc20ffbe552ecb1cd8af0d6fc78d1de9e8;hp=7dbf69e1395b8984a004d01455447a02203c2449;hpb=da5cf21f33e7303bf9b1fc60470de1f6101714dd;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).