Commit a8b314ed authored by François Bobot's avatar François Bobot

encoding : Tysymbol -> ty too soon

parent 83bc9e06
......@@ -22,7 +22,7 @@ open Theory
open Task
open Trans
let meta_kept = register_meta "encoding : kept" [MTty]
let meta_kept = register_meta "encoding : kept" [MTtysymbol]
let meta_base = register_meta_excl "encoding : base" [MTtysymbol]
let debug = Debug.register_flag "encoding"
......
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