From 18c2bcedaa5d59c03fbbb0207220edf9e795ced0 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 13 Oct 2004 08:04:55 +0000 Subject: [PATCH] added term argument to absurd --- helm/ocaml/cic_transformations/tacticAst.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_transformations/tacticAst.ml b/helm/ocaml/cic_transformations/tacticAst.ml index d063234d2..05e8458f8 100644 --- a/helm/ocaml/cic_transformations/tacticAst.ml +++ b/helm/ocaml/cic_transformations/tacticAst.ml @@ -33,7 +33,7 @@ type 'term pattern = Pattern of 'term type ('term, 'ident) tactic = | LocatedTactic of CicAst.location * ('term, 'ident) tactic - | Absurd + | Absurd of 'term | Apply of 'term | Assumption | Change of 'term * 'term * 'ident option (* what, with what, where *) -- 2.39.2