diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-05-06 17:00:10 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-10 14:32:01 +0200 |
| commit | 39bca2093650f3dbe18e60ad19818b939a96b971 (patch) | |
| tree | 93a876ce57c9d4098dd998b2e53e40d43a48b383 /cparser/Elab.ml | |
| parent | b49feed2f88c0a6ae9cc2ca4b2982096f18a2112 (diff) | |
| download | compcert-kvx-39bca2093650f3dbe18e60ad19818b939a96b971.tar.gz compcert-kvx-39bca2093650f3dbe18e60ad19818b939a96b971.zip | |
Ensure flushing of the error formatter.
Since the error formatter is not automatically flushed at program
exit we need to ensure that it is flushed at exit.
Diffstat (limited to 'cparser/Elab.ml')
0 files changed, 0 insertions, 0 deletions