# 
# 
# patch "query.ml"
#  from [3d7d0d1c12b82829e2827e6e349dcdacfa500a80]
#    to [0b0ca22a8260b482a15efbee2adf6619a34119bb]
# 
============================================================
--- query.ml	3d7d0d1c12b82829e2827e6e349dcdacfa500a80
+++ query.ml	0b0ca22a8260b482a15efbee2adf6619a34119bb
@@ -80,10 +80,12 @@ let expand_results mtn ids =
 
 
 let expand_results mtn ids =
-  let fetch_first_cert id c =
-    match Monotone.cert_value mtn id c with
-    | h :: _ -> h
-    | [] -> "" in
+  let fetch_first_cert id =
+    let get_cert = Monotone.cert_value mtn id in
+    fun c ->
+      match get_cert c with
+      | h :: _ -> h
+      | [] -> "" in
   
   List.map
     (fun id ->