diff --git a/xml/chapter3/section3/subsection3.xml b/xml/chapter3/section3/subsection3.xml index 6536e7b86..01c1d9e4d 100644 --- a/xml/chapter3/section3/subsection3.xml +++ b/xml/chapter3/section3/subsection3.xml @@ -666,6 +666,52 @@ const put = operation_table("insert"); for a local table.