diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-13 15:58:10 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-13 15:58:10 +0000 |
| commit | 16ef95d7d7df64e28f6ba4ad24457b946563bc2e (patch) | |
| tree | 2f204e78ef82df3269c0b2ba2b86d279946d9922 /driver/Driver.ml | |
| parent | a558eac3b8c9929a4c29236baada4c4b4360b6ff (diff) | |
Spurious error on a local static function declaration
("static int f(void);" inside a function).
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2563 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'driver/Driver.ml')
0 files changed, 0 insertions, 0 deletions