diff --git a/paper/gtt.tex b/paper/gtt.tex
index 6f7ac059df7951e944fcb5eb004e66f8d0009eee..2ac54117806c0f93110847dcdd31274a3ce03a56 100644
--- a/paper/gtt.tex
+++ b/paper/gtt.tex
@@ -218,7 +218,7 @@
 \newcommand{\inr}{\kw{inr}}
 \newcommand{\intag}[1]{\texttt{in}_{#1}}
 \newcommand{\els}{\kw {else}}
-\newcommand{\texttt{seq}}
+\newcommand{\seq}{\texttt{seq}}
 
 \newcommand{\dyn}{{?}}
 \newcommand{\dynv}{{?}}