X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fre%2Fre.ma;h=8ba714b82592f01047735b685663a64ed200f3d5;hb=7c9d99dfb049d726491b71f07ba6a9b088b30166;hp=234d522ae176dde98579f39ac9e6ac09bb11aa32;hpb=7d974dcd076b95c94ee72c6ba7e93202c6d51880;p=helm.git

diff --git a/matita/matita/lib/re/re.ma b/matita/matita/lib/re/re.ma
index 234d522ae..8ba714b82 100644
--- a/matita/matita/lib/re/re.ma
+++ b/matita/matita/lib/re/re.ma
@@ -13,6 +13,7 @@
 (**************************************************************************)
 
 include "re/lang.ma".
+include "basics/core_notation/card_1.ma".
 
 (* The type re of regular expressions over an alphabet $S$ is the smallest 
 collection of objects generated by the following constructors: *)