diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-08 17:58:51 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-08 17:58:51 +0200 |
| commit | a00de29bc143e758ed034018c3c528e873b9b3da (patch) | |
| tree | 08df5ba037fecff5c8a8624727aeb9995db30fda /driver/Configuration.ml | |
| parent | 430263226793599834da40a39b2f82565338bd70 (diff) | |
| download | compcert-a00de29bc143e758ed034018c3c528e873b9b3da.tar.gz compcert-a00de29bc143e758ed034018c3c528e873b9b3da.zip | |
Fix typo.
Diffstat (limited to 'driver/Configuration.ml')
0 files changed, 0 insertions, 0 deletions