diff --git a/src/Kind/Parse.hs b/src/Kind/Parse.hs index a09d6fa1f..4f1253949 100644 --- a/src/Kind/Parse.hs +++ b/src/Kind/Parse.hs @@ -650,7 +650,7 @@ expandUses uses name = parseDo :: Parser Term parseDo = withSrc $ do - string "do " + P.try $ string "do " name <- parseName char '{' parseTrivia