@@ -850,6 +850,7 @@ elab ist info emode opts fn tm
851 where headRef (PRef _ _) = True
851 where headRef (PRef _ _) = True
852 headRef (PApp _ f _) = headRef f
852 headRef (PApp _ f _) = headRef f
853+ headRef (PAlternative _ as) = all headRef as
853 headRef _ = False
854 headRef _ = False
855 elab' ina fc (PAppImpl f es) = do appImpl (reverse es) -- not that we look...
856 elab' ina fc (PAppImpl f es) = do appImpl (reverse es) -- not that we look...