aboutsummaryrefslogtreecommitdiff
path: root/ex9-5.tex
diff options
context:
space:
mode:
Diffstat (limited to 'ex9-5.tex')
-rw-r--r--ex9-5.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/ex9-5.tex b/ex9-5.tex
index 183213c..abda635 100644
--- a/ex9-5.tex
+++ b/ex9-5.tex
@@ -59,7 +59,7 @@
\end{figure*}
\begin{figure}[h]
- \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{text}
+ \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{clean}
tape_9_5_c = [Just c \\ c <- fromString "abbabbabaa"]
ex_9_5_c :: TuringMachine Char
ex_9_5_c = { alphabet = ['a', 'b'],