changeset 59276 | 56dc790071cb |
parent 59272 | 1d3ef477d9c8 |
child 59279 | 255c853ea2f0 |
1.1 --- a/src/Tools/isac/Interpret/appl.sml Wed Dec 21 11:27:22 2016 +0100 1.2 +++ b/src/Tools/isac/Interpret/appl.sml Thu Dec 22 10:25:49 2016 +0100 1.3 @@ -7,7 +7,7 @@ 1.4 1.5 structure Applicable = (* intermediately to avoid too many "Ctree." *) 1.6 struct 1.7 -(*open Ctree*) 1.8 +open Ctree 1.9 1.10 val e_cterm' = empty_cterm'; 1.11