From 6ad08f90aa4a565d9b9dc54df32ddaf072506aad Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 5 Feb 2004 18:18:52 +0000 Subject: [PATCH] No more garbage in the metasenv. --- helm/gTopLevel/tests/fix00.cic.test | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 { -- 2.39.2