Add descr attribute to JSON parser

36ab546f · Stefan Jaax · 50f66913 · 36ab546f
Commit 36ab546f authored Nov 28, 2017 by Stefan Jaax
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

src/Parser/PP.hs src/Parser/PP.hs +2 -1

No files found.
--- a/src/Parser/PP.hs
+++ b/src/Parser/PP.hs
@@ -164,7 +164,8 @@ data RecordPP = RecordPP {
        transitions :: [RecordTransition],
        initialStates :: [String],
        trueStates :: [String],
-        predicate :: Maybe (QuantFormula String)
+        predicate :: Maybe (QuantFormula String),
+	description :: Maybe String
 } deriving (Show)

 $(deriveJSON defaultOptions ''RecordTransition)