From b6a7b8ee4a5711911b66be6ea4dba3742601b03c Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Tue, 4 Aug 2020 10:50:37 +0200
Subject: Add new static-assert token for deLexer utility; bug 29273

---
 cparser/deLexer.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cparser')

diff --git a/cparser/deLexer.ml b/cparser/deLexer.ml
index de0e9b6e..ee6976d4 100644
--- a/cparser/deLexer.ml
+++ b/cparser/deLexer.ml
@@ -116,6 +116,7 @@ let delex (symbol : string) : string =
   | "DOT" -> "."
   | "PRAGMA" -> "#pragma \n"
   | "BUILTIN_OFFSETOF" -> "__builtin_offsetof"
+  | "STATIC_ASSERT" -> "_Static_assert"
   | "EOF" -> ""                             (* this should be ok *)
   | _ -> raise Not_found               (* this should not happen *)
 
-- 
cgit