From bd7b90becac15d549912883d414ff37b14d4ad21 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Mon, 8 Apr 2019 21:51:42 +0200
Subject: for killing _Pragma

---
 test/monniaux/kill_pragma.h | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 test/monniaux/kill_pragma.h

(limited to 'test/monniaux/kill_pragma.h')

diff --git a/test/monniaux/kill_pragma.h b/test/monniaux/kill_pragma.h
new file mode 100644
index 00000000..a2fde5a9
--- /dev/null
+++ b/test/monniaux/kill_pragma.h
@@ -0,0 +1 @@
+#define _Pragma(x)
-- 
cgit