Commit 64bc823c authored by Francois Bobot's avatar Francois Bobot

Pour que l'on donne toujours les mêmes déclarations pour le type à encoder...

Pour que l'on donne toujours les mêmes déclarations pour le type à encoder dans plusieurs taches différentes
parent 50b75d2f
......@@ -111,7 +111,7 @@ let load_prelude query env =
task_tdecls task in
task,
{ query = query;
clone_builtin = clone_builtin;
clone_builtin = Wts.memoize 7 clone_builtin;
specials = specials;
deco = deco;
undeco = undeco;
......
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