Verified Commit 8671b23a authored by Camil Staps's avatar Camil Staps 🚀

Fix --option precedence

parent 3da60b1d
......@@ -61,7 +61,7 @@ exposeProperties globopts ps w
= w
where
test :: ![Testoption] !a -> [String] | TestableWithOptions a
test useropts p = Test (getOptions p ++ useropts ++ globopts) p
test useropts p = Test (globopts ++ useropts ++ getOptions p) p
error :: !String !*World -> *World
error s w
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment