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
|