From e978da8c41d8a3c19a29036d9c569fbe2a4616b0 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 16 Jun 2006 14:41:51 +0000
Subject: Imported Upstream version 8.0pl3+8.1beta

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

(limited to 'ide/ideutils.ml')

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 5143358a..65aef17f 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id: ideutils.ml 7609 2005-11-25 17:14:39Z barras $ *)
+(* $Id: ideutils.ml 8912 2006-06-07 11:20:58Z notin $ *)
 
 
 open Preferences
@@ -314,8 +314,8 @@ let same_file f1 f2 =
     let s1 = Unix.stat f1
     and s2 = Unix.stat f2 
     in
-    (s1.Unix.st_dev = s2.Unix.st_dev) &&
-    (s1.Unix.st_ino = s2.Unix.st_ino) 
+      (s1.Unix.st_dev = s2.Unix.st_dev) &&
+	(s1.Unix.st_ino = s2.Unix.st_ino) 
   with
       Unix.Unix_error _ -> false
 
-- 
cgit v1.2.3