fix typo in shrink for functions

IUCompilerCourse · Nov 8, 2023 · c14c1aa · c14c1aa
1 parent d01e2bc
commit c14c1aa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/book.tex b/book.tex
@@ -15670,7 +15670,7 @@ \section{Shrink \LangFun{}}
 \end{lstlisting}
 where $\itm{mainDef}$ is
 \begin{lstlisting}
-FunctionDef('main', [], int, None, |$\Stmt\ldots$|Return(Constant(0)), None)
+FunctionDef('main', [], |$\Stmt\ldots$|Return(Constant(0)), None, IntType(), None)
 \end{lstlisting}
 \fi}
 

diff --git a/defs.tex b/defs.tex
@@ -388,7 +388,7 @@
 \newcommand{\JMPIF}[2]{\key{(JmpIf}~#1~#2\key{)}}
 \newcommand{\RETQ}{\key{(Retq)}}
 \newcommand{\XPROGRAM}[2]{\LP\code{X86Program}~#1~#2\RP}
-\newcommand{\XPROGRAMDEFS}[2]{\LP\code{X86Program}~#1~#2\RP}
+\newcommand{\XPROGRAMDEFS}[2]{\LP\code{X86ProgramDefs}~#1~#2\RP}
 \newcommand{\BYTEREG}[1]{\key{(ByteReg}~#1\key{)}}
 \newcommand{\CDEF}[4]{\LP\key{define}~\LP#1~#2\RP\,\key{:}\,#3~#4\RP}
 \newcommand{\DEF}[5]{\LP\key{Def}~#1~#2~#3~#4~#5\RP}