# HG changeset patch
# User Eugen Sawin <sawine@me73.com>
# Date 1311081916 -7200
# Node ID a703c0e88e472e038dc46270548940603f865f24
# Parent  11c55592ac3349faef9765237aa3e19de7fd0ae9
A minor fix.

diff -r 11c55592ac33 -r a703c0e88e47 tex/theory1_ex9.tex
--- a/tex/theory1_ex9.tex	Tue Jul 19 00:24:38 2011 +0200
+++ b/tex/theory1_ex9.tex	Tue Jul 19 15:25:16 2011 +0200
@@ -47,7 +47,7 @@
 
 \section*{Exercise 9.2}
 \begin{align*}
-ADT\, Stack = &(\Sigma_{Stack}, \E)\\
+ADT\, Stack(A) = &(\Sigma_{Stack}, \E)\\
 \Sigma_{Stack} = &\{new^{(0)}, true^{(0)}, false^{(0)}, pop^{(1)}, top^{(1)}, isEmpty^{(1)}, push^{(2)}\}\\
 & new: Stack\\
 & true: bool\\