[fix] stdlib: fix map stringifier

MLstate · Apr 23, 2013 · 388b07b · 388b07b
1 parent 0812637
commit 388b07b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/stdlib/core/map/map.opa b/lib/stdlib/core/map/map.opa
@@ -1235,7 +1235,7 @@ Map_make(order: order('key,'order) ) : Map =
 
 }} //: Map_make
 
-@stringifier(ordered_map('key, 'val, 'order)) map_to_string(map) =
+@stringifier(map('key, 'val)) map_to_string(map) =
   tx = Map.fold(key, val, tx ->
     Text.insert_right(tx, "{key}") |>
     Text.insert_right(_, " => ")   |>