diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-20 11:55:35 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-20 16:27:00 +0200 |
commit | b4c6087cd0faf3d165ca5450f7462b9fbe98796f (patch) | |
tree | 43a654c4382446241322379e12bd2d779f8572d8 /cparser/Transform.ml | |
parent | 72f78307cec2ac8fb33d657b118a930b2acfe8ad (diff) | |
download | compcert-b4c6087cd0faf3d165ca5450f7462b9fbe98796f.tar.gz compcert-b4c6087cd0faf3d165ca5450f7462b9fbe98796f.zip |
Added error for redefined builtin.
We check in the initial environment if a function is already defined to
avoid redefinition of functions that are part of the builtin
environment.
Diffstat (limited to 'cparser/Transform.ml')
0 files changed, 0 insertions, 0 deletions