@@ -326,7 +326,7 @@ simpleExpr syn =
326 try (simpleExternalExpr syn)
326 try (simpleExternalExpr syn)
327 <|> do x <- try (lchar '?' *> name); return (PMetavar x)
327 <|> do x <- try (lchar '?' *> name); return (PMetavar x)
328 <|> do lchar '%'; fc <- getFC; reserved "instance"; return (PResolveTC fc)
328 <|> do lchar '%'; fc <- getFC; reserved "instance"; return (PResolveTC fc)
329− <|> do reserved "Refl"; fc <- getFC;
329+ <|> do fc <- reservedFC "Refl"
330 tm <- option Placeholder (do lchar '{'; t <- expr syn; lchar '}';
330 tm <- option Placeholder (do lchar '{'; t <- expr syn; lchar '}';
331 return t)
331 return t)
332 return (PRefl fc tm)
332 return (PRefl fc tm)