diff --git a/Assignments/A3/spec.tex b/Assignments/A3/spec.tex index fb187b1e0403da99091f6a87d34a4128888a295f..39ed81e22bfc5d7a78f98349524fef0ff71b50ad 100644 --- a/Assignments/A3/spec.tex +++ b/Assignments/A3/spec.tex @@ -345,7 +345,7 @@ size & ~ & $\mathbb{N}$ & \\ \hline len & ~ & $\mathbb{N}$ & ~\\ \hline -translate & $\mathbb{Z}$, $\mathbb{Z}$ & LineT & ~\\ +translate & $\mathbb{Z}$, $\mathbb{Z}$ & PathT & ~\\ \hline \end{tabular}