X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_1%2Ftheory.ma;h=2f706544344f8341c9a2a6c0bca627b54d43f6d5;hb=57ae1762497a5f3ea75740e2908e04adb8642cc2;hp=e563c691a7d9ccfe5c3aec3b377a6bfda3f4bb0a;hpb=e51d01099c08e9945ea093da6fcac353db7ca23c;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground_1/theory.ma b/matita/matita/contribs/lambdadelta/ground_1/theory.ma
index e563c691a..2f7065443 100644
--- a/matita/matita/contribs/lambdadelta/ground_1/theory.ma
+++ b/matita/matita/contribs/lambdadelta/ground_1/theory.ma
@@ -16,6 +16,8 @@
 
 include "ground_1/ext/tactics.ma".
 
+include "ground_1/types/fwd.ma".
+
 include "ground_1/types/props.ma".
 
 include "ground_1/ext/arith.ma".