From 48ab977760936725f4c1a499b3b055a0ea295d91 Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Mon, 29 Oct 2018 15:18:19 -0400
Subject: [PATCH] fix bad macro
---
paper/gtt.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/paper/gtt.tex b/paper/gtt.tex
index 6f7ac05..2ac5411 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}{{?}}
--
GitLab