diff --git a/docs/dev/virtual_machine.rst b/docs/dev/virtual_machine.rst index af03e3dc02a0..48b693e0589d 100644 --- a/docs/dev/virtual_machine.rst +++ b/docs/dev/virtual_machine.rst @@ -144,7 +144,7 @@ AllocStorage RegName alignment DLDataType dtype_hint -Allocate a storage block with the given ``size``, ``alignment`` and and data type, ``dtype_hint``. +Allocate a storage block with the given ``size``, ``alignment`` and data type, ``dtype_hint``. The allocated storage block is stored in register ``dst``. AllocADT