From c699d7c6145f978b1864c2be25d9f0607099a3e5 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 13 Aug 2015 09:42:24 +0200
Subject: More ASCII encoding fixes

---
 manual/APPNOTE_011_Design_Investigation.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'manual/APPNOTE_011_Design_Investigation.tex')

diff --git a/manual/APPNOTE_011_Design_Investigation.tex b/manual/APPNOTE_011_Design_Investigation.tex
index b9a8237f4..02fb99d36 100644
--- a/manual/APPNOTE_011_Design_Investigation.tex
+++ b/manual/APPNOTE_011_Design_Investigation.tex
@@ -1061,7 +1061,7 @@ MiniSat: a minimalistic open-source SAT solver.
 \url{http://minisat.se/}
 
 \bibitem{tip}
-Niklas Een and Niklas Sörensson (2003).
+Niklas Een and Niklas S\"orensson (2003).
 Temporal Induction by Incremental SAT Solving.
 \url{http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.8161}
 
-- 
cgit v1.2.3

