nitdoc: remove unused plugin "Copy to Clipboard"

[nit.git] / lib / opts.nit

diff --git a/lib/opts.nit b/lib/opts.nit
index a60760f..1ac2326 100644 (file)
--- a/lib/opts.nit
+++ b/lib/opts.nit
@@ -265,6 +265,7 @@ class OptionContext
                while parseargs and it.is_ok do
                        var str = it.item
                        if str == "--" then
+                               it.next
                                rest.add_all(it.to_a)
                                parseargs = false
                        else