From e1762d72988ef5ee6be34f72cac536637d3891e0 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 7 Feb 2017 11:00:29 +0100
Subject: [PATCH] Fix typo.

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index f7f3322a..b04b95f9 100644
--- a/README.md
+++ b/README.md
@@ -14,7 +14,7 @@ The key features of this library are as follows:
   `m1 = m2` iff `∀ i, m1 !! i = m2 !! i`). On top of that, the library provides
   setoid instances for most types and operations.
 - It provides various tactics for common tasks, like an ssreflect inspired
-  `done` tactic for finishing trivial goals, a simply breadth-first solver
+  `done` tactic for finishing trivial goals, a simple breadth-first solver
   `naive_solver`, an equality simplifier `simplify_eq`, a solver `solve_proper`
   for proving compatibility of functions with respect to relations, and a solver
   `set_solver` for goals involving set operations.
-- 
GitLab