From: pimjager <pim@pimjager.nl>
Date: Sun, 20 Dec 2015 21:02:48 +0000 (+0100)
Subject: fixed agly space after gast command
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=25743ac4af76d6644055c5994c45ef62bfe27c96;p=tt2015.git

fixed agly space after gast command
---

diff --git a/a3/preamble.tex b/a3/preamble.tex
index b4c799c..bbedaff 100644
--- a/a3/preamble.tex
+++ b/a3/preamble.tex
@@ -10,12 +10,13 @@
 \usepackage{tabularx}
 \usepackage{longtable}
 \usepackage{amsfonts}
+\usepackage{xspace}
 \newcommand{\xmark}{\texttt{\textbf{x}}}
 
 \newcounter{TCC}
 \newcommand{\doTCC}{\theTCC \stepcounter{TCC}}
 
-\newcommand{\GAST}{G$\forall$ST}
+\newcommand{\GAST}{G$\forall$ST\xspace}
 
 \lstset{%
   breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace