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

[ docs ]: fix typo (#1893)

Browse Source 
[ci: skip]
This commit is contained in:
withoutK 2021-09-02 04:06:29 +08:00 committed by GitHub
parent 1d1c428805
commit abd0552526
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
samples/ffi/smallc.c
View File

@ -1,4 +1,4 @@
// To compile this file for the samples `sample/ffi/Small.dir` and `sample/ffi/Struct.idr`, you will
// To compile this file for the samples `sample/ffi/Small.idr` and `sample/ffi/Struct.idr`, you will
// need to manually compile and link it into a `.so` file, and place it in a location where the
// resulting exectuable can find it. For example:
// gcc -c -fPIC smallc.c -o smallc.o