From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 5 Feb 2004 18:18:52 +0000 (+0000)
Subject: No more garbage in the metasenv.
X-Git-Tag: V_0_2_3~26
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6ad08f90aa4a565d9b9dc54df32ddaf072506aad;p=helm.git

No more garbage in the metasenv.
---

diff --git a/helm/gTopLevel/tests/fix00.cic.test b/helm/gTopLevel/tests/fix00.cic.test
index f688c4060..901acd990 100644
--- a/helm/gTopLevel/tests/fix00.cic.test
+++ b/helm/gTopLevel/tests/fix00.cic.test
@@ -7,8 +7,7 @@ let rec fact =
 in
 (fact 4)
 ### (* METASENV after disambiguation  *)
- |- ?2: Type
- |- ?3: ?2[]
+
 ### (* TERM after disambiguation      *)
 [fact:=
 Fix fact {