assigned a TODO in obc.

This commit is contained in:
Léonard Gérard 2010-10-07 20:15:44 +02:00
parent ff2b512600
commit c47e371a11

View file

@ -75,7 +75,7 @@ and block =
and var_dec =
{ v_ident : var_ident;
v_type : ty; (* TODO should be here, v_controllable : bool*)
v_type : ty; (* TODO GD should be here, v_controllable : bool *)
v_loc : location }
type obj_dec =