diff options
Diffstat (limited to 'cparser/Elab.ml')
-rw-r--r-- | cparser/Elab.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 2e02275c..25e4a980 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -2872,7 +2872,7 @@ let elab_definition (for_loop: bool) (local: bool) (nonstatic_inline: bool) (* pragma *) | PRAGMA(s, loc) -> if local then - warning loc Unknown_pragmas "pragmas are ignored inside functions" + warning loc Unnamed "pragmas are ignored inside functions" else emit_elab env loc (Gpragma s); ([], env) |