diff options
author | François Pottier <francois.pottier@inria.fr> | 2016-05-27 09:19:31 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2016-05-27 09:19:31 +0200 |
commit | acaf3211a58d33af44a1b8f87c2bc83fb33aa068 (patch) | |
tree | 8d6effc31cebf559f6350710a5603df1ac6e8784 /cparser/ErrorReports.mli | |
parent | 5087ec788016b719b4038be08cd55bccc22b3619 (diff) | |
download | compcert-kvx-acaf3211a58d33af44a1b8f87c2bc83fb33aa068.tar.gz compcert-kvx-acaf3211a58d33af44a1b8f87c2bc83fb33aa068.zip |
Fixed a comment.
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 - |