Merge pull request #4839 from Hirrolot/patch-1

Fix a typo in the FFI tutorial
idris-lang · May 23, 2020 · 8131574 · 8131574
2 parents 512abe3 + 4d9c5b4
commit 8131574
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/reference/ffi.rst b/docs/reference/ffi.rst
@@ -113,7 +113,7 @@ For C, this is:
     %error_reverse
     public export
     FFI_C : FFI
-        FFI_C = MkFFI C_Types String String
+        FFI_C = MkFFI C_Types String
 
 Linking foreign code
 ====================