Ensure evaluation of an assertion

Found by reviewing coverage

diff --git a/src/Dyna/Analysis/Mode/Execution/Context.hs b/src/Dyna/Analysis/Mode/Execution/Context.hs
index ffde52a075f1fbf8837c5506fe0813d7f7a71ce8..807d1c8191b854a108316675a0ed0500d49f80ff 100644 (file)
--- a/src/Dyna/Analysis/Mode/Execution/Context.hs
+++ b/src/Dyna/Analysis/Mode/Execution/Context.hs
@@ -275,8 +275,8 @@ instance (Show f, Ord f, Monad m) => MCM (SIMCT m f) KI where
                                       ++ (show k))
           (\v' -> do
              merged <- unSIMCT $ f (krenkri v') v
-             uses (simctx_map_k . at (unKI ck))
-                  (flip assert () . (== Just v'))
+             () <- uses (simctx_map_k . at (unKI ck))
+                        (flip assert () . (== Just v'))
              simctx_map_k %= IM.insert (unKI ck)
                                        (either KRName KRStruct merged))
         $ IM.lookup (unKI ck) m