From 4841f3d879aa04d60b9329eec13589c9bf012d08 Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Thu, 5 Sep 2019 17:37:39 +0200
Subject: [PATCH] added 'de Philip' to dedication

---
 src/plfa/dedication.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plfa/dedication.md b/src/plfa/dedication.md
index c0919f5f..6be08555 100644
--- a/src/plfa/dedication.md
+++ b/src/plfa/dedication.md
@@ -6,7 +6,7 @@ next      : /Preface/
 ---
 
 <center>
-<h2>para Wanda</h2>
+<h2>de Philip, para Wanda</h2>
 <h3><em>amor da minha vida</em></h3>
 <h4><em>knock knock knock</em></h4>
 <h4><em>...</em></h4>