notation and dependences bug fix

[helm.git] / matita / matita / contribs / lambda_delta / Basic_2 / grammar / item.ma

diff --git a/matita/matita/contribs/lambda_delta/Basic_2/grammar/item.ma b/matita/matita/contribs/lambda_delta/Basic_2/grammar/item.ma
index 48ff1ec9acf8448c1f48773a571343c298f1e628..08e35083de29cb17f6826ca6d558aa94425e616e 100644 (file)
--- a/matita/matita/contribs/lambda_delta/Basic_2/grammar/item.ma
+++ b/matita/matita/contribs/lambda_delta/Basic_2/grammar/item.ma
@@ -20,7 +20,7 @@
  * [ suggested invocation to start formal specifications with ]
  *)
 
-include "Ground_2/list.ma".
+include "Ground_2/arith.ma".
 include "Basic_2/notation.ma".
 
 (* ITEMS ********************************************************************)