code: remove useless as(not null)
[nit.git] / lib / opts.nit
index 3e0e0e0..d1320a4 100644 (file)
@@ -185,7 +185,7 @@ class OptionEnum
        redef fun pretty_default
        do
                if default_value != null then
-                       return " ({values[default_value.as(not null)]})"
+                       return " ({values[default_value]})"
                else
                        return ""
                end