From a28cb16aeb266fd41c0ce2ddbe0a0d8d2cbf20de Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 7 Jul 2015 17:50:55 +0200
Subject: Diab defines w_char to be unsigned short.

---
 cparser/Machine.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cparser/Machine.mli')

diff --git a/cparser/Machine.mli b/cparser/Machine.mli
index fb7321f9..277ac3fb 100644
--- a/cparser/Machine.mli
+++ b/cparser/Machine.mli
@@ -62,6 +62,7 @@ val x86_64 : t
 val win32 : t
 val win64 : t
 val ppc_32_bigendian : t
+val ppc_32_diab_bigendian : t
 val arm_littleendian : t
 
 val gcc_extensions : t -> t
-- 
cgit