From 7b9917f741fac0c2f5943761455e4b1a93e8ce34 Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Tue, 11 Feb 2014 17:43:49 +0100
Subject: [PATCH 1/1] 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