diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-18 14:21:58 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-18 14:21:58 +0100 |
commit | 3304820b870e4524c7d1f14fcd62506634f7922b (patch) | |
tree | 5ac9f53017942609b3f5fd750276b873c29edcbf /cparser/pre_parser.mly | |
parent | a80705575b12c9813d6a7ecf92bb33aedd10b09e (diff) | |
download | compcert-3304820b870e4524c7d1f14fcd62506634f7922b.tar.gz compcert-3304820b870e4524c7d1f14fcd62506634f7922b.zip |
Added dummy printing function for entries.
Diffstat (limited to 'cparser/pre_parser.mly')
0 files changed, 0 insertions, 0 deletions