aboutsummaryrefslogtreecommitdiff
path: root/srcpkgs/polygen/patches/ocaml-4.05.patch
blob: ae089ba69733fa9f377e12b62eb09b3aea4f5d82 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
--- a/src/check.ml
+++ b/src/check.ml
@@ -37,7 +37,7 @@
 
 	  	let of_labels labels = List.fold_left (fun lbs lb -> add (lb, None) lbs) empty labels
 	  	let occurs lb lbs = mem (lb, None) lbs
-        let pretty lbs = "{ " ^ (flatten_strings ", " (map fst (elements lbs))) ^ " }"
+        let pretty lbs = "{ " ^ (flatten_strings ", " (List.map fst (elements lbs))) ^ " }"
 	  end