Commit 6ad7c409 authored by Andrei Paskevich's avatar Andrei Paskevich

core: protect the symbol_map type

parent b54d03f2
......@@ -103,7 +103,7 @@ and tdecl_node = private
| Clone of theory * symbol_map
| Meta of meta * meta_arg list
and symbol_map = {
and symbol_map = private {
sm_ts : tysymbol Mts.t;
sm_ls : lsymbol Mls.t;
sm_pr : prsymbol Mpr.t;
......
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