Release of coccinelle 1.0.0-rc9

[bpt/coccinelle.git] / tools / gitsort.ml

diff --git a/tools/gitsort.ml b/tools/gitsort.ml
index 29c4833..e3aac33 100644 (file)
--- a/tools/gitsort.ml
+++ b/tools/gitsort.ml
@@ -1,4 +1,6 @@
 (*
+ * Copyright 2010, INRIA, University of Copenhagen
+ * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
  * This file is part of Coccinelle.
@@ -30,7 +32,7 @@ let unwind_protect f cleanup =
 
 let (with_open_infile: string -> ((in_channel) -> 'a) -> 'a) = fun file f ->
   let chan = open_in file in
-  unwind_protect (fun () -> 
+  unwind_protect (fun () ->
     let res = f chan in
     close_in chan;
     res)
@@ -144,5 +146,5 @@ let _ =
       Printf.printf "%s\n" last
   | _ -> ()
 
-    
-    
+
+