X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=presentation.pre;h=98a4af632090557e01dedf2290c4bb8132871bfe;hb=2498dced580be1e7af31a662dadee26c4fd159ed;hp=35ade654bb0a18e952017009d1115a2c98388b47;hpb=0ea729c9667ddd36e834d1056750c467c88df79c;p=msc-thesis1617.git

diff --git a/presentation.pre b/presentation.pre
index 35ade65..98a4af6 100644
--- a/presentation.pre
+++ b/presentation.pre
@@ -41,7 +41,6 @@
 	literate=%
 		% Basic Clean constructs
 		{\\}{{$\lambda\:$}}1
-		{->}{{$\rightarrow\:$}}1
 		{A.}{{$\forall\;\,$}}1
 		{E.}{{$\exists\;\,$}}1
 		{*}{{$^*$}}1