idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-03 00:36:37 +03:00
Code Issues Projects Releases Wiki Activity

Remove Value_Buffer.len field

Browse Source 
It is not used.

Also change `buffer` field type to avoid confusion.
This commit is contained in:
Stiopa Koltsov 2021-07-11 12:00:01 +01:00
parent 3e92863e1c
commit c292437a28
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
support/refc/datatypes.h
View File

@ -176,8 +176,7 @@ typedef struct
typedef struct
{
Value_header header;
size_t len;
char *buffer;
void *buffer; // *Buffer
} Value_Buffer;
typedef struct