chore: fix parser error message

2021-04-24 21:48:12 +02:00 · 2021-04-24 21:48:12 +02:00 · 01f6cece2f
commit 01f6cece2f
parent 069bcf8933
1 changed files with 1 additions and 1 deletions
--- a/src/Lean/Parser/StrInterpolation.lean
+++ b/src/Lean/Parser/StrInterpolation.lean
@ -39,7 +39,7 @@ partial def interpolatedStrFn (p : ParserFn) : ParserFn := fun c s =>
          else
            let s := s.pushSyntax Syntax.missing
            let s := s.mkNode interpolatedStrKind stackSize
-            s.setError "expected '}'"
+            s.setError "'}'"
      else
        parse startPos c s
  let startPos := s.pos