diff --git a/docs/memory.html b/docs/memory.html index 78ade271f..54574dd33 100644 --- a/docs/memory.html +++ b/docs/memory.html @@ -215,12 +215,12 @@