Skip to content

Commit

Permalink
chore: fix typo (#58)
Browse files Browse the repository at this point in the history
  • Loading branch information
ehamberg authored Dec 14, 2024
1 parent 1685350 commit 15c281a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Parser/Basic.lean
Original file line number Diff line number Diff line change
Expand Up @@ -119,7 +119,7 @@ def notFollowedBy (p : ParserT ε σ τ m α) : ParserT ε σ τ m PUnit := do
abbrev endOfInput : ParserT ε σ τ m PUnit := notFollowedBy anyToken

/--
`test p` returns `true` if `p` succeeds and `false` otherwise. This parser ever fails.
`test p` returns `true` if `p` succeeds and `false` otherwise. This parser never fails.
-/
@[inline]
def test (p : ParserT ε σ τ m α) : ParserT ε σ τ m Bool :=
Expand Down

0 comments on commit 15c281a

Please sign in to comment.