@@ -15734,7 +15734,7 @@ Module(|$\Def\ldots\Stmt\ldots$|)
\end{lstlisting}
where $\itm{mainDef}$ is
\begin{lstlisting}
-FunctionDef('main', [], |$\Stmt\ldots$|Return(Constant(0)), None, IntType(), None)
+FunctionDef('main', [], [|$\Stmt\ldots$|Return(Constant(0))], None, IntType(), None)
\fi}