fun pretty_default: String
do
var dv = default_value
- if dv != null then return " ({dv})"
+ if dv != null then return " ({dv.to_s})"
return ""
end
redef fun pretty_default
do
if default_value != null then
- return " ({values[default_value.as(not null)]})"
+ return " ({values[default_value]})"
else
return ""
end