From 60ea1e5cd7494c7453993dad5b819cd631770308 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 16 Feb 2004 10:13:47 +0000 Subject: [PATCH] typo fixed (unbalanced parens) --- helm/gTopLevel/tests/lambda01.cic | 2 +- helm/gTopLevel/tests/lambda01.cic.test | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/gTopLevel/tests/lambda01.cic b/helm/gTopLevel/tests/lambda01.cic index 0c06ca4f6..29f7a95dd 100644 --- a/helm/gTopLevel/tests/lambda01.cic +++ b/helm/gTopLevel/tests/lambda01.cic @@ -1,2 +1,2 @@ (\lambda f. (f 0 (le_n 0)) - \lambda n. \lambda H. (refl_equal nat 0))) + \lambda n. \lambda H. (refl_equal nat 0)) diff --git a/helm/gTopLevel/tests/lambda01.cic.test b/helm/gTopLevel/tests/lambda01.cic.test index f05fb40db..8c9b561c4 100644 --- a/helm/gTopLevel/tests/lambda01.cic.test +++ b/helm/gTopLevel/tests/lambda01.cic.test @@ -1,5 +1,5 @@ (\lambda f. (f 0 (le_n 0)) - \lambda n. \lambda H. (refl_equal nat 0))) + \lambda n. \lambda H. (refl_equal nat 0)) ### (* METASENV after disambiguation *) ### (* TERM after disambiguation *) -- 2.39.2