implemented elim query

[helm.git] / helm / ocaml / tactics / metadataQuery.mli

diff --git a/helm/ocaml/tactics/metadataQuery.mli b/helm/ocaml/tactics/metadataQuery.mli
index 6bea094a44de7ad9fc994b7831607df2f9aa5caf..2a97a283fa4ff321be88dc5807233d3886b29634 100644 (file)
--- a/helm/ocaml/tactics/metadataQuery.mli
+++ b/helm/ocaml/tactics/metadataQuery.mli
@@ -33,5 +33,5 @@ val hint:
 
 val match_term: dbh:Dbi.connection -> Cic.term -> string list
 
-(* val elim: dbh:Dbi.connection -> string -> string list *)
+val elim: dbh:Dbi.connection -> string -> string list