GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-21 17:12:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fixed typo in transfer prelude: prim_eq_Str

Browse Source
This commit is contained in:
bringert
2006-03-15 16:25:40 +00:00
parent 80b1c33c8e
commit 28606fccd2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
transfer/lib/prelude.tra
View File

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