# HG changeset patch
# User huffman
# Date 1315864174 25200
# Node ID 53650b655b47a073010556c184d5581bd9c425cf
# Parent  1f5d6eb7354939f7c0959d169e2eb549fc0007f3
fix typo

diff -r 1f5d6eb73549 -r 53650b655b47 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Sep 12 14:39:10 2011 -0700
+++ b/CONTRIBUTORS	Mon Sep 12 14:49:34 2011 -0700
@@ -26,7 +26,7 @@
   sets (cset) via the generic monad ad-hoc overloading facility.
 
 * 2011: Johannes Hölzl, Armin Heller, TUM,
-  and Bogdan Grechuk, Univeristy of Edinburgh
+  and Bogdan Grechuk, University of Edinburgh
   Theory HOL/Library/Extended_Reals: real numbers extended with
   plus and minus infinity.