Filled in Sequential Composition (Gap 5)

WACCLangSpec.tex

@@ -419,7 +419,7 @@ Each of the program branches is executed in its own scope, which are denoted by
 A scoping statement introduces a new program scope, which is denoted by the \lit{begin} and \lit{end} tokens.
 
 \paragraph{Sequential Composition:}
-\hl{... ??? ...}
+\hl{This statement composes two statements into one line, to be executed in order. It is denoted by} \lit*{\hl{<stat> ; <stat>}}. \hl{For example, for s1 ; s2, both s1 and s2 must be valid for this to be a valid statement, and s1 will be executed before s2.}
 \fillgap{\hl{Define/describe sequential composition} \\ \hl{i.e. }\lit*{\hl{<stat> ; <stat>}} }{2 marks}
 
 \subsection{Expressions}