No more garbage in the metasenv.

[helm.git] / helm / gTopLevel / tests / fix00.cic.test

diff --git a/helm/gTopLevel/tests/fix00.cic.test b/helm/gTopLevel/tests/fix00.cic.test
index f688c4060ffbbe6dfaa869b936e66e20b89110ff..901acd9904558f8fe78e3d7e03af94c5dca2b186 100644 (file)
--- 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 {