git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4771 from sysvinit/ffi-docs
095fb31Niklas Larsson
docs/reference/ffi.rst+1−1
compare with master
unifiedsplit
@@ -384,7 +384,7 @@ copy it over.
384 const VAL get_string ()
384 const VAL get_string ()
385 {
385 {
386 char * c_string = get_string_allocated_with_malloc()
386 char * c_string = get_string_allocated_with_malloc()
387− const VAL idris_string = MKSTR(c_string);
387+ const VAL idris_string = MKSTR(get_vm(), c_string);
388 free(c_string);
388 free(c_string);
389 return idris_string
389 return idris_string
390 }
390 }