diff --git a/doc/ext_ffi_semantics.html b/doc/ext_ffi_semantics.html index 498bbbb4..36c3be32 100644 --- a/doc/ext_ffi_semantics.html +++ b/doc/ext_ffi_semantics.html @@ -1140,7 +1140,6 @@ The following operations are currently not compiled and may exhibit suboptimal performance, especially when used in inner loops: