fix label typo

maxsnew · Nov 12, 2024 · 5d27ea2 · 5d27ea2
1 parent 18af2b5
commit 5d27ea2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paper/paper.tex b/paper/paper.tex
@@ -1246,7 +1246,7 @@ \subsection{Regular Expressions and Finite Automata}
 of traces through the NFA is weakly equivalent to the type of traces through the DFA.
 
 \newcommand{\states}{\mathtt{states}}
-\newcommand{\labelt}{\mathtt{label}}
+\newcommand{\labelt}{label}
 \newcommand{\transitions}{\texttt{transitions}}
 \newcommand{\epstransitions}{\epsilon\texttt{transitions}}
 \newcommand{\isAcc}{\mathtt{isAcc}}