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