diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-06 15:16:13 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-06 15:16:13 +0100 |
| commit | 05f1cccccad587234c526225aa04aff041490051 (patch) | |
| tree | 3e9bc441be0a5b9bdccadb09912e63f9e06af218 /lib/Printlines.mli | |
| parent | 1278e187ddc2aa3623002b1af2dc402eb735eb16 (diff) | |
| download | compcert-kvx-05f1cccccad587234c526225aa04aff041490051.tar.gz compcert-kvx-05f1cccccad587234c526225aa04aff041490051.zip | |
PR#19: there is no reason to reject an empty "switch" statement.
Diffstat (limited to 'lib/Printlines.mli')
0 files changed, 0 insertions, 0 deletions