Fixed typo in transfer prelude: prim_eq_Str

This commit is contained in:
bringert
2006-03-15 16:25:40 +00:00
parent 626a23ac78
commit 379a969f67

View File

@@ -80,7 +80,7 @@ add_String = rec zero = ""
ord_String : Ord String
ord_String = rec eq = prim_eq_Str
ord_String = rec eq = prim_eq_String
compare = prim_cmp_String
show_String : Show String