Commit b8ca7f2a authored by Francois Bobot's avatar Francois Bobot
Browse files

new meta api

parent ea09b4e3
......@@ -25,9 +25,7 @@ open Decl
open Theory
open Task
let meta_enum = "enumeration"
let () = Theory.register_meta meta_enum [Theory.MTtysymbol]
let meta_enum = Theory.register_meta "enumeration" [Theory.MTtysymbol]
(** Compile match patterns *)
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