Commit 6bf4acd8111f3249c1f4ed9e8af688372cbc1eb7
1 parent
1ab8c158
replace read by transmit when using the foreign_key
Showing
1 changed file
with
1 additions
and
1 deletions
Show diff stats
src/generation/types_header.anubis
| ... | ... | @@ -19,7 +19,7 @@ public define String |
| 19 | 19 | DS_Type sd_type //type description |
| 20 | 20 | )= |
| 21 | 21 | with foreign_type_list = get_all_extern_type(sd_type), |
| 22 | - join("", map((Extern_type ext_type) |-> since ext_type is extern(_, read_file), "read "+read_file+"\n", foreign_type_list)) | |
| 22 | + join("", map((Extern_type ext_type) |-> since ext_type is extern(_, read_file), "transmit "+read_file+"\n", foreign_type_list)) | |
| 23 | 23 | . |
| 24 | 24 | |
| 25 | 25 | public define Maybe(One) | ... | ... |