diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:40:00 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:40:00 +0200 |
commit | a6b15496744c19a54ab52c96d1dca441cd7ad1b8 (patch) | |
tree | b6e1432fed8bfc3810d26416846513201595659a /ia32/PrintOp.ml | |
parent | 82435bab1bf71c37c645f0853bf02b3d4224bc6d (diff) | |
download | compcert-a6b15496744c19a54ab52c96d1dca441cd7ad1b8.tar.gz compcert-a6b15496744c19a54ab52c96d1dca441cd7ad1b8.zip |
Add -la 1 to Menhir's invocation, to see statistics and warnings.
Diffstat (limited to 'ia32/PrintOp.ml')
0 files changed, 0 insertions, 0 deletions