Commit cf596c1d authored by mnislaih's avatar mnislaih
Browse files

Remove a false assertion

parent 88941457
......@@ -1402,10 +1402,8 @@ handler (DynException dyn)
= do at_topLevel <- isTopLevel
if at_topLevel then return True else throwDyn StopParentSession
| Just (ChildSessionStopped msg) <- fromDynamic dyn
-- Reload modules and display some message
= do ASSERTM (isTopLevel)
io(putStrLn msg) >> return False
| Just (ChildSessionStopped msg) <- fromDynamic dyn
= io(putStrLn msg) >> return False
handler exception = do
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment