# HG changeset patch
# User wenzelm
# Date 1534001300 -7200
# Node ID e90cf766723cb300e1d46b11e4e7a1a91d92ca28
# Parent  682ff0e84387bbba681be62a0abfee4fb0cfb393
tuned;

diff -r 682ff0e84387 -r e90cf766723c src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Sat Aug 11 16:02:55 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Sat Aug 11 17:28:20 2018 +0200
@@ -194,8 +194,8 @@
       "X:" -> (arg => exclude_session_groups = exclude_session_groups ::: List(arg)),
       "a" -> (_ => all_sessions = true),
       "d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),
+      "g:" -> (arg => session_groups = session_groups ::: List(arg)),
       "l:" -> (arg => logic = arg),
-      "g:" -> (arg => session_groups = session_groups ::: List(arg)),
       "o:" -> (arg => options = options + arg),
       "s" -> (_ => system_mode = true),
       "v" -> (_ => verbose = true),