From 8394621c902f1a9e9e37347a2ecfdede1459fa4e Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Tue, 27 Jan 2009 13:01:18 -0500 Subject: [PATCH] Fix opts: forgot to assign the default value. --- lib/opts.nit | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/opts.nit b/lib/opts.nit index 1e77f35..b9e5ceb 100644 --- a/lib/opts.nit +++ b/lib/opts.nit @@ -45,6 +45,7 @@ class Option _helptext = help _mandatory = false _default_value = default + _value = default end # Add new aliases for this option -- 1.7.9.5