@@ -22,7 +22,7 @@ idrisDef = haskellDef {
2222 reservedNames = ["let", "in", "data", "record", "Set",
2323 "do", "dsl", "import", "impossible",
2424 "case", "of", "total",
25− "infix", "infixl", "infixr", "prefix",
25+ "infix", "infixl", "infixr",
2626 "where", "with", "forall", "syntax", "proof",
2727 "using", "params", "namespace", "class", "instance",
2828 "public", "private", "abstract",