# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1472130812 0
# Node ID fd171f53d514965f7660425848b973385cb57791
# Parent  9b7638f642a082b60ca2058a3d632935236a6381
Typo

diff -r 9b7638f642a0 -r fd171f53d514 contrib/gdl-benchmark/README.markdown
--- a/contrib/gdl-benchmark/README.markdown	Thu Aug 25 03:03:47 2016 +0000
+++ b/contrib/gdl-benchmark/README.markdown	Thu Aug 25 13:13:32 2016 +0000
@@ -1,7 +1,7 @@
 Temperance GDL Reasoning Benchmark
 ==================================
 
-An thin wrapper to plug Temperance into [Stephan and Yngvi's GDL reasoner
+A thin wrapper to plug Temperance into [Stephan and Yngvi's GDL reasoner
 benchmarking library thing][paper].
 
 [paper]: http://cgi.cse.unsw.edu.au/~mit/GGP/GIGA-13-Proceedings.pdf#page=55