diff options
| -rw-r--r-- | transfer/lib/prelude.tra | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/transfer/lib/prelude.tra b/transfer/lib/prelude.tra index 696ea9d22..26d649863 100644 --- a/transfer/lib/prelude.tra +++ b/transfer/lib/prelude.tra @@ -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 |