# HG changeset patch
# User urbanc
# Date 1336742810 0
# Node ID 48906e9a9a508f6c908a6148c200bcae630ac49d
# Parent  26d1bd0fdb31d200d1d1ad8e951acb6c58059eef
typo

diff -r 26d1bd0fdb31 -r 48906e9a9a50 prio/Paper/document/root.tex
--- a/prio/Paper/document/root.tex	Wed May 09 13:42:23 2012 +0000
+++ b/prio/Paper/document/root.tex	Fri May 11 13:26:50 2012 +0000
@@ -62,7 +62,7 @@
 were criticised as too inefficient. Our formalisation is based on
 Paulson's inductive approach to verifying protocols.\medskip
 
-{\bf Keywords:} Priority Inheritance Protocol, formal connectness proof, 
+{\bf Keywords:} Priority Inheritance Protocol, formal correctness proof, 
 real-time systems, Isabelle/HOL
 \end{abstract}