From ed7c8409d772964dba81de7d2076bc1aeb43c58e Mon Sep 17 00:00:00 2001 From: Felix Yan Date: Tue, 26 Mar 2019 00:47:18 +0800 Subject: Correct a typo in spec.tex (#1063) --- spec/spec.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/spec.tex b/spec/spec.tex index a55c4cc6..0a8e3a50 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -1606,7 +1606,7 @@ Given a component with a bundle type, the suffix \verb|$|{\em f} is appended to \subsection{Prefix Uniqueness} \label{prefix_unique} -The {\em symbol sequence} of a name is the ordered list of strings that results from splitting the name at each occurence of the `\$' character. +The {\em symbol sequence} of a name is the ordered list of strings that results from splitting the name at each occurrence of the `\$' character. A symbol sequence $a$ is a {\em prefix} of another symbol sequence $b$ if the strings in $a$ occur in the beginning of $b$. -- cgit v1.2.3