Commit 199f168c authored by Andrei Paskevich's avatar Andrei Paskevich

Revert "try agressive monomorphisation"

This reverts commit 88191716.

It seems that by default agressive monomorphisation costs too much.
One could be interested, however, in having it as a user-accessible
transformation in IDE.
parent 4a39a6b4
theory BuiltIn
meta "select_inst" "all"
meta "select_lskept" "all"
meta "select_lsinst" "all"
meta "select_inst" "goal"
meta "select_lskept" "none"
meta "select_lsinst" "goal"
meta "select_kept" "none"
end
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