From 30f247f916b1a86e1057a1bb57f047e73001e30c Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Thu, 11 Jul 2013 00:13:23 -0400 Subject: [PATCH] Ensure evaluation of an assertion Found by reviewing coverage --- src/Dyna/Analysis/Mode/Execution/Context.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Dyna/Analysis/Mode/Execution/Context.hs b/src/Dyna/Analysis/Mode/Execution/Context.hs index ffde52a..807d1c8 100644 --- 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 -- 2.50.1