From 070ff6510ddf346ca949a22d04d0fba59367ee91 Mon Sep 17 00:00:00 2001
From: Robin Clark <R.P.Clark@brighton.ac.uk>
Date: Sun, 18 Aug 2013 19:43:19 +0100
Subject: [PATCH] another typo

---
 submission_thesis/style.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/submission_thesis/style.tex b/submission_thesis/style.tex
index 487d069..fe0be3b 100644
--- a/submission_thesis/style.tex
+++ b/submission_thesis/style.tex
@@ -175,7 +175,7 @@ analogue electronics only~\cite{smart_instruments_1514209}}}}
 
 \newcommand{\fmmdglossCONTRACTPROG}{\glossary{name={contract~programming}, description={
 A software discipline whereby each function is assigned strict pre and post conditions
-which define a formalised `contract' formalising the function's behaviour}}}
+which define a `contract' formalising the function's behaviour}}}
 
 %
 %\newcommand{\fmmdglossRD}{\glossary{name={reasoning~distance}{yahda yahda ya}}}