From 7b9917f741fac0c2f5943761455e4b1a93e8ce34 Mon Sep 17 00:00:00 2001 From: Vivien Maisonneuve Date: Tue, 11 Feb 2014 17:43:49 +0100 Subject: [PATCH] Use \newcommand instead of \def --- pipstransfo.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pipstransfo.tex b/pipstransfo.tex index 65ecf0b..a31b2fc 100644 --- a/pipstransfo.tex +++ b/pipstransfo.tex @@ -9,7 +9,7 @@ \usepackage{hyperref} \usepackage{xspace} -\def\PIPS{PIPS\xspace} +\newcommand\PIPS{PIPS\xspace} \title{\PIPS~--- List of code transformations} -- 2.20.1