diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-03 15:13:42 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-03 15:13:42 +0100 |
commit | 05eac28e5040e12d75d17c25e190dcf22ec530d7 (patch) | |
tree | c26ab6722132cfd88288721babe360c8b4efbff7 /Makefile | |
parent | 49910cab799a752c8e2f83b33b6732b215d4e17b (diff) | |
download | compcert-05eac28e5040e12d75d17c25e190dcf22ec530d7.tar.gz compcert-05eac28e5040e12d75d17c25e190dcf22ec530d7.zip |
Removed Cabshelper open and avoided shadowing.
The Cabshelper is only used in 4 places, so we don't need a global
open. Furhtermore the String.t type is now inlined for Cabs to
avoid shadowing problems in Elab.ml
Bug 19872
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions