diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-02-29 08:10:26 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-02-29 08:10:26 +0100 |
commit | bd6f371e4be7e745c049c5c5cc7523c6c2995df5 (patch) | |
tree | 025c700fa6892bbd3b07d09f4bf6855f59e64e84 /driver/Configuration.ml | |
parent | 41051c5e81306c44db27315e2ddbb8db9d522c3e (diff) | |
download | compcert-bd6f371e4be7e745c049c5c5cc7523c6c2995df5.tar.gz compcert-bd6f371e4be7e745c049c5c5cc7523c6c2995df5.zip |
Fixed typo. Bug 18066
Diffstat (limited to 'driver/Configuration.ml')
0 files changed, 0 insertions, 0 deletions