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.

---
 backend/Splitting.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'backend/Splitting.ml')

diff --git a/backend/Splitting.ml b/backend/Splitting.ml
index 97b26a50..17b8098d 100644
--- a/backend/Splitting.ml
+++ b/backend/Splitting.ml
@@ -39,9 +39,9 @@ let rec repr lr =
   | Link lr' -> let lr'' = repr lr' in lr.kind <- Link lr''; lr''
   | _ -> lr
 
-let same_range lr1 lr2 = 
-  lr1 == lr2 || (* quick test for speed *) 
-  repr lr1 == repr lr2 (* the real test *) 
+let same_range lr1 lr2 =
+  lr1 == lr2 || (* quick test for speed *)
+  repr lr1 == repr lr2 (* the real test *)
 
 let unify lr1 lr2 =
   let lr1 = repr lr1 and lr2 = repr lr2 in
-- 
cgit