From 25743ac4af76d6644055c5994c45ef62bfe27c96 Mon Sep 17 00:00:00 2001
From: pimjager <pim@pimjager.nl>
Date: Sun, 20 Dec 2015 22:02:48 +0100
Subject: [PATCH] fixed agly space after gast command

---
 a3/preamble.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.20.1