Don't surface implicit conditions from inside ICMethod

B-Lang-org · Aug 22, 2024 · 6f8c504 · 6f8c504
1 parent 1329534
commit 6f8c504
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/comp/IExpand.hs b/src/comp/IExpand.hs
@@ -4105,10 +4105,6 @@ getBuriedPreds (IAps ic@(ICon i_sel (ICSel { })) ts1 [e])
     | (i_sel == idAVValue_ || i_sel == idAVAction_) = do
   --traceM("getBuriedPreds: AV sel")
   getBuriedPreds e
-getBuriedPreds (ICon _ (ICMethod _ _ eb)) = do
-  -- traceM("getBuriedPreds: method")
-  p <- getBuriedPreds eb
-  return p
 getBuriedPreds e@(ICon _ _) = do
   --traceM("getBuriedPreds: con: e = " ++ ppReadable e ++ show e)
   return pTrue