diff --git a/doc/ext_ffi_semantics.html b/doc/ext_ffi_semantics.html index bba03b7b..800b6b18 100644 --- a/doc/ext_ffi_semantics.html +++ b/doc/ext_ffi_semantics.html @@ -1221,13 +1221,12 @@ The following operations are currently not compiled and may exhibit suboptimal performance, especially when used in inner loops: