diff --git a/src/mem/slicc/symbols/StateMachine.py b/src/mem/slicc/symbols/StateMachine.py
index fb7556fdd..e66dcd7dc 100644
--- a/src/mem/slicc/symbols/StateMachine.py
+++ b/src/mem/slicc/symbols/StateMachine.py
@@ -605,7 +605,7 @@ $vid = m_net_ptr->get${network}NetQueue(m_version + base, $ordered, $vnet);
                 # Set randomization
                 if "random" in var:
                     # A buffer
-                    code('$vid->setRandomization(${{var["random"]}})')
+                    code('$vid->setRandomization(${{var["random"]}});')
 
                 # Set Priority
                 if "rank" in var: