@@ -1830,7 +1830,7 @@ elabClause info opts (_, PWith fc fname lhs_in withs wval_in withblock)
18301830 logLvl 2 ("Matching " ++ showTmImpls tm ++ " against " ++
18311831 showTmImpls toplhs)
18321832 case matchClause i toplhs tm of
1833− Left (a,b) -> trace ("matchClause: " ++ show a ++ " =/= " ++ show b) (ifail $ show fc ++ ":with clause does not match top level")
1833+ Left (a,b) -> ifail $ show fc ++ ":with clause does not match top level"
18341834 Right mvars ->
18351835 do logLvl 3 ("Match vars : " ++ show mvars)
18361836 lhs <- updateLHS n wname mvars ns ns' (fullApp tm) w