From 4d542bc7eafadb16b845cf05d1eb4988eb55ed0f Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 20 Oct 2015 13:32:18 +0200
Subject: Updated PR by removing whitespaces. Bug 17450.

---
 cparser/C.mli | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'cparser/C.mli')

diff --git a/cparser/C.mli b/cparser/C.mli
index 72e1f787..8d8f2805 100644
--- a/cparser/C.mli
+++ b/cparser/C.mli
@@ -27,7 +27,7 @@ type ident =
 
 (* Kinds of integers *)
 
-type ikind = 
+type ikind =
   | IBool       (** [_Bool] *)
   | IChar       (** [char] *)
   | ISChar      (** [signed char] *)
@@ -39,12 +39,12 @@ type ikind =
   | ILong       (** [long] *)
   | IULong      (** [unsigned long] *)
   | ILongLong   (** [long long] (or [_int64] on Microsoft Visual C) *)
-  | IULongLong  (** [unsigned long long] (or [unsigned _int64] on Microsoft 
+  | IULongLong  (** [unsigned long long] (or [unsigned _int64] on Microsoft
                     Visual C) *)
 
 (** Kinds of floating-point numbers*)
 
-type fkind = 
+type fkind =
     FFloat      (** [float] *)
   | FDouble     (** [double] *)
   | FLongDouble (** [long double] *)
@@ -73,7 +73,7 @@ type attr_arg =
   | AInt of int64
   | AString of string
 
-type attribute = 
+type attribute =
   | AConst
   | AVolatile
   | ARestrict
@@ -216,7 +216,7 @@ and stmt_desc =
   | Sdecl of decl
   | Sasm of attributes * string * asm_operand list * asm_operand list * string list
 
-and slabel = 
+and slabel =
   | Slabel of string
   | Scase of exp
   | Sdefault
-- 
cgit