[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.2-1-2-g6bed820

[Ralf Treinen]

The following commit has been merged in the master branch:
commit ca4a437e1e75765c9c9401a9ad404e0b418b81e7
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jun 14 20:03:17 2009 +0200

    test

diff --git a/distcheck/common.ml b/distcheck/common.ml
index 408e9d1..f2c9633 100644
--- a/distcheck/common.ml
+++ b/distcheck/common.ml
@@ -193,9 +193,9 @@ begin
 	if !output_xml then print_endline "</results>";
 end;;
 
-let unit_id_of_string it u =
+let unit_id_of_string u =
   try
-    Unit_index.search (get_unit_index it.db) u
+    Unit_index.search (get_unit_index db) u
   with
   | Not_found -> raise (Sorry(sf "Can't find unit %S" u))
 ;;

-- 
pkglab packaging