Do not check default properties when displaying structure

cc5eb08f · Philipp Meyer · 09e5a20f · cc5eb08f
Commit cc5eb08f authored May 17, 2017 by Philipp Meyer
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 1 deletion

Options.hs src/Options.hs +6 -1

No files found.
--- a/src/Options.hs
+++ b/src/Options.hs
@@ -110,7 +110,12 @@ options =
        ("Refine with METHOD (trap, siphon, utrap, usiphon, none, all)")

        , Option "s" ["structure"]
-        (NoArg (\opt -> Right opt { optPrintStructure = True }))
+        (NoArg (\opt -> Right opt {
+                                  optPrintStructure = True,
+                                  optProperties = case optProperties opt of
+                                                       PropDefault -> PropList []
+                                                       (PropList props) -> PropList props
+                        }))
        "Print structural information"