From fc73973844f848fafb61b6aa39a327e95f09c129 Mon Sep 17 00:00:00 2001 From: Matej Kosik Date: Tue, 3 Nov 2015 13:28:57 +0100 Subject: CLEANUP: s/List_A/List~A/g --- doc/common/macros.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/common') diff --git a/doc/common/macros.tex b/doc/common/macros.tex index a6240ad28..2271a8f13 100644 --- a/doc/common/macros.tex +++ b/doc/common/macros.tex @@ -261,7 +261,7 @@ \newcommand{\length}{\mbox{\textsf{length}}} \newcommand{\haslengthA}{\mbox {\textsf{has\_length~A}}} \newcommand{\List}{\mbox{\textsf{list}}} -\newcommand{\ListA}{\mbox{\textsf{List\_A}}} +\newcommand{\ListA}{\mbox{\textsf{List}~A}} \newcommand{\nilhl}{\mbox{\textsf{nil\_hl}}} \newcommand{\conshl}{\mbox{\textsf{cons\_hl}}} \newcommand{\nat}{\mbox{\textsf{nat}}} -- cgit v1.2.3