comparison src/elab_env.sml @ 1075:0657e5adc938

Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children c316ca3c9ec6
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
1620 let 1620 let
1621 val t = (CModProj (tn, [], "css_class"), loc) 1621 val t = (CModProj (tn, [], "css_class"), loc)
1622 in 1622 in
1623 pushENamedAs env x n t 1623 pushENamedAs env x n t
1624 end 1624 end
1625 | DInitializer _ => env 1625 | DTask _ => env
1626 1626
1627 end 1627 end