# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1510704978 0
# Node ID e5a9d9de59f73958ac853ef6e2258f7a3d0e4019
# Parent  9b4bc870deb6613b5e8c8adb9ec2eb01eb1c839c
update

diff -r 9b4bc870deb6 -r e5a9d9de59f7 slides/slides08.tex
--- a/slides/slides08.tex	Wed Nov 08 12:54:39 2017 +0000
+++ b/slides/slides08.tex	Wed Nov 15 00:16:18 2017 +0000
@@ -16,7 +16,7 @@
   \begin{tabular}{@ {}c@ {}}
   \\[-3mm]
   \LARGE Compilers and \\[-2mm] 
-  \LARGE Formal Languages (8)\\[3mm] 
+  \LARGE Formal Languages (7)\\[3mm] 
   \end{tabular}}
 
   \normalsize