diff options
Diffstat (limited to 'cparser/ErrorReports.mli')
| -rw-r--r-- | cparser/ErrorReports.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/cparser/ErrorReports.mli b/cparser/ErrorReports.mli index f803a08b..dbaba5ff 100644 --- a/cparser/ErrorReports.mli +++ b/cparser/ErrorReports.mli @@ -25,7 +25,7 @@ type 'a buffer = | One of 'a | Two of 'a * (* most recent: *) 'a -(* [push buffer x] pushes [x] into [buffer], causing the buffer to slide. *) +(* [update buffer x] pushes [x] into [buffer], causing the buffer to slide. *) val update: 'a buffer -> 'a -> 'a buffer @@ -40,4 +40,3 @@ val report: (Lexing.position * Lexing.position) buffer -> _ checkpoint -> string - |