Skip to content

Commit ebc90d1

Browse files
committed
add square brackets in 8.3, issue #188
1 parent ef1b088 commit ebc90d1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

book.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15734,7 +15734,7 @@ \section{Shrink \LangFun{}}
1573415734
\end{lstlisting}
1573515735
where $\itm{mainDef}$ is
1573615736
\begin{lstlisting}
15737-
FunctionDef('main', [], |$\Stmt\ldots$|Return(Constant(0)), None, IntType(), None)
15737+
FunctionDef('main', [], [|$\Stmt\ldots$|Return(Constant(0))], None, IntType(), None)
1573815738
\end{lstlisting}
1573915739
\fi}
1574015740

0 commit comments

Comments
 (0)