From fc3be5fed893d9ab491cf2c68bfc558d81462cfb Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 22 Jan 2004 17:19:17 +0000 Subject: [PATCH] added false test --- helm/ocaml/cic_disambiguation/tests/match.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/helm/ocaml/cic_disambiguation/tests/match.txt b/helm/ocaml/cic_disambiguation/tests/match.txt index 3d2ed238c..8acbb1350 100644 --- a/helm/ocaml/cic_disambiguation/tests/match.txt +++ b/helm/ocaml/cic_disambiguation/tests/match.txt @@ -37,3 +37,7 @@ match nil:list with [ nil \Rightarrow nil | (cons x y) \Rightarrow (cons x y) ] +\lambda x:False. + [\lambda h:False. True] + match x:False with [] + -- 2.39.2