Commit 66e37945 authored by MARCHE Claude's avatar MARCHE Claude

typo

parent 4a90e5d7
......@@ -64,7 +64,7 @@ val rewriteTF : (term -> term) -> (term -> term) -> task -> task trans
val add_decls : decl list -> task trans
val add_tdecls : tdecl list -> task trans
(* Dependent Transformatons *)
(* Dependent Transformations *)
val on_meta : meta -> (meta_arg list list -> 'a trans) -> 'a trans
val on_theory : theory -> (symbol_map list -> 'a trans) -> 'a trans
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment