From 6bef869040014b4d589a8e49b42ac36a970d1bc6 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Sat, 16 Jan 2021 10:27:49 +0100
Subject: Change warning for pragmas inside functions

Follow-up to 35e2b11db.

Put the warning "pragmas are ignored inside functions" inside the Unnamed
category, so that it is displayed by default and cannot be disabled.
---
 cparser/Elab.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser')

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)
-- 
cgit