From a0b34b3dc61f87a1b3c4463b5f0cfb34ad87efe5 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 31 Jan 2005 17:12:12 +0000 Subject: [PATCH] added Basedir Ast --- helm/ocaml/cic_transformations/tacticAst.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/ocaml/cic_transformations/tacticAst.ml b/helm/ocaml/cic_transformations/tacticAst.ml index f0bda3261..ed8e4ec6e 100644 --- a/helm/ocaml/cic_transformations/tacticAst.ml +++ b/helm/ocaml/cic_transformations/tacticAst.ml @@ -95,7 +95,8 @@ type print_kind = [ `Env ] type 'term command = | Abort | Baseuri of string option (** get/set base uri *) - | Check of 'term + | Basedir of string option (** get/set base dir *) + | Check of 'term | Search_pat of search_kind * string (* searches with string pattern *) | Search_term of search_kind * 'term (* searches with term pattern *) | Proof -- 2.39.2