@@ -1191,7 +1191,7 @@ elab ist info emode opts fn tm
1191 -- old ones with an _
1191 -- old ones with an _
1192 mkClause args (l, r)
1192 mkClause args (l, r)
1193 = let args' = map (shadowed (allNamesIn l)) args
1193 = let args' = map (shadowed (allNamesIn l)) args
1194− lhs = PApp (getFC fc l) (PRef (getFC fc l) n)
1194+ lhs = PApp (getFC fc l) (PRef NoFC n)
1195 (map (mkLHSarg l) args') in
1195 (map (mkLHSarg l) args') in
1196 PClause (getFC fc l) n lhs [] r []
1196 PClause (getFC fc l) n lhs [] r []