Skip to content

Commit abd0552

Browse files
authored
[ docs ]: fix typo (#1893)
[ci: skip]
1 parent 1d1c428 commit abd0552

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

samples/ffi/smallc.c

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

0 commit comments

Comments
 (0)