introduction updated

[helm.git] / helm / mathql / doc / mathql_operational.tex

diff --git a/helm/mathql/doc/mathql_operational.tex b/helm/mathql/doc/mathql_operational.tex
index a1cbe954ab70c4705b33976449a35b6ba8cf6a50..f37225073a5aa8eb29a240286c36c863cad79d17 100644 (file)
--- a/helm/mathql/doc/mathql_operational.tex
+++ b/helm/mathql/doc/mathql_operational.tex
@@ -1,4 +1,4 @@
-\section {Operational semantics}
+\section {Operational semantics} \label {Operational}
 
 This section describes {\MathQL} semantics, that we present in a natural
 operational style \cite{Lan98,Win93}.