Commit 2aeb63da authored by Guillaume Melquiond's avatar Guillaume Melquiond

Ensure that transformations are expanded in IDE.

parent 38e42c8d
......@@ -1527,7 +1527,7 @@ end)
*)
let add_transformation ~keygen ~goal env_session transfn g goals =
let rtransf = raw_add_transformation ~keygen ~expanded:false g transfn in
let rtransf = raw_add_transformation ~keygen ~expanded:true g transfn in
let parent = Parent_transf rtransf in
let add_goal acc g =
let name,expl,task = goal g in
......
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