Commit 05fe04e2 authored by Andrei Paskevich's avatar Andrei Paskevich

bugfix: decorate unprotected constants in Deco

parent 9b1103e4
......@@ -44,6 +44,9 @@ let deco_term kept tvar =
let t = t_map deco t in
if ls.ls_value = None || is_protected_ls kept ls
then t else decorate tvar t
| Tconst _ ->
if Sty.mem (t_type t) kept
then t else decorate tvar t
| Tlet (t1,tb) ->
let v,e,close = t_open_bound_cb tb in
t_let (t_map deco t1) (close v (deco e))
......
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