# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1356185732 0
# Node ID b82bb37cf1d309d0403da6d02ae97115bd588c1b
# Parent  2b296c0921889cb73b8402c91873a0cb6533a34d
typo

diff -r 2b296c092188 -r b82bb37cf1d3 publications.html
--- a/publications.html	Sat Dec 22 14:14:04 2012 +0000
+++ b/publications.html	Sat Dec 22 14:15:32 2012 +0000
@@ -116,7 +116,7 @@
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR>
 
       (In the published version is a bogus sentence after the definition 
-       of detached and also a typo in the definition of schs. Both is corrected
+       of detached and also a typo in the definition of schs. Both are corrected
        in the version above.)
 </TD>
 </TR>