@@ -346,7 +346,6 @@ checkTotality path fc n
346 -- if it's not total, it can't reduce, to keep
346 -- if it's not total, it can't reduce, to keep
347 -- typechecking decidable
347 -- typechecking decidable
348 case t' of
348 case t' of
349−-- FIXME: Put this back when we can handle mutually recursive things
350 p@(Partial _) ->
349 p@(Partial _) ->
351 do setAccessibility n Frozen
350 do setAccessibility n Frozen
352 addIBC (IBCAccess n Frozen)
351 addIBC (IBCAccess n Frozen)