A3 Correction of PathT::len

Assignments/A3/A3Soln/A3P1_Spec.tex

@@ -430,7 +430,7 @@ PathT($st, ornt, l$):
 \noindent len:
 \begin{itemize}
 \item output: \wss{Output the total number of points (grid cells) on the path,
-    including the beginning and end points (cells).}$out := +(l: \mbox{LineT} | i \in s: l.\mbox{len})$
+    including the beginning and end points (cells).}$out := +(l: \mbox{LineT} | l \in s: l.\mbox{len})$
 \item exception: None
 \end{itemize}