Coccinelle release 1.0.0-rc12

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

diff --git a/tools/gitsort.ml b/tools/gitsort.ml
index 045f17f..01d5f70 100644 (file)
--- a/tools/gitsort.ml
+++ b/tools/gitsort.ml
@@ -24,6 +24,7 @@
  *)
 
 
+# 0 "./gitsort.ml"
 (* sort a list of git codes such that the most recent comes first *)
 
 let git_home = ref "/home/julia/linux-2.6"