From fa158ad898036a63d0ba36bd92ec57b35b5ebeab Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 5 Sep 2015 00:34:32 +0200
Subject: Use the Clean pygments lexer

---
 ex9-3.tex | 4 ++--
 ex9-4.tex | 2 +-
 ex9-5.tex | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/ex9-3.tex b/ex9-3.tex
index d849919..1a34fe7 100644
--- a/ex9-3.tex
+++ b/ex9-3.tex
@@ -32,7 +32,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_3_b = [Just c \\ c <- fromString "abbaba"]
 				ex_9_3_b :: TuringMachine Char
 				ex_9_3_b = { alphabet = ['a', 'b', 'X', 'Y'],
@@ -106,7 +106,7 @@
         \end{figure*}
 
         \begin{figure}[h]
-            \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{text}
+            \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{clean}
 				ex_9_3_c :: TuringMachine Char
 				ex_9_3_c = { alphabet = ['a', 'b', 'X'],
 				             inputs = ['a', 'b'],
diff --git a/ex9-4.tex b/ex9-4.tex
index 8109d68..a24c240 100644
--- a/ex9-4.tex
+++ b/ex9-4.tex
@@ -27,7 +27,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_4 = [Just c \\ c <- fromString "baaabbaaacabab"]
 			ex_9_4 :: TuringMachine Char
 			ex_9_4 = { alphabet = ['a', 'b', 'c'],
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'],
-- 
cgit v1.2.3