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/Cleanup.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'cparser/Cleanup.ml')

diff --git a/cparser/Cleanup.ml b/cparser/Cleanup.ml
index c81fd498..c8a900d5 100644
--- a/cparser/Cleanup.ml
+++ b/cparser/Cleanup.ml
@@ -92,7 +92,7 @@ let rec add_stmt s =
   | Sbreak -> ()
   | Scontinue -> ()
   | Sswitch(e, s1) -> add_exp e; add_stmt s1
-  | Slabeled(lbl, s) -> 
+  | Slabeled(lbl, s) ->
       begin match lbl with Scase e -> add_exp e | _ -> () end;
       add_stmt s
   | Sgoto lbl -> ()
@@ -187,7 +187,7 @@ let saturate p =
 let remove_unused_debug =  function
   | Gdecl (_,id,_,_) ->  Debug.remove_unused id
   | Gfundef f -> Debug.remove_unused f.fd_name
-  | _ -> ()    
+  | _ -> ()
 
 let rec simpl_globdecls accu = function
   | [] -> accu
@@ -212,6 +212,6 @@ let program p =
   let p' = simpl_globdecls [] p in
   referenced := IdentSet.empty;
   p'
-  
+
 
 
-- 
cgit