Wed, 17 Dec 2014 13:47:37 +0000 mjsousa When generating C code, use the const_value of a symbolic_variable when it is used in a subrange.