From 382fcce692717843f337e606619bb3fd660518be Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 6 Jul 2018 12:08:02 +0200
Subject: Remove a little bit of ugliness

---
 Assignment2/src/DTMC.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Assignment2')

diff --git a/Assignment2/src/DTMC.icl b/Assignment2/src/DTMC.icl
index 9d3eda1..0adfa1f 100644
--- a/Assignment2/src/DTMC.icl
+++ b/Assignment2/src/DTMC.icl
@@ -283,7 +283,7 @@ Start w
 # (z3,w) = startZ3 w
 # (dtmc,w) = assertProperty prop dtmc z3 w
 # (rC,dtmc) = repairConfig dtmc
-# (_,w) = mapSt (\s w -> (0, addAssert z3 s w)) rC.totality_restrictions w // Ugly, I know, don't care
+# w = seqSt (addAssert z3) rC.totality_restrictions w
 # (dtmcs,dtmc) = printDTMC dtmc
 # (_,w) = writeFile drn_out dtmcs w
 = w
-- 
cgit v1.2.3