From 1fe83d5d791f0ff91ffa032b556f02c6cc4cbfed Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 24 Jul 2017 18:54:02 +0200
Subject: Fix typo.

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

diff --git a/README.md b/README.md
index a5aa40eeb6..4d6879d8af 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,7 @@ Overview
 
 This is a standalone version of the Ltac2 plugin. Ltac2 is an attempt at
 providing the Coq users with a tactic language that is more robust and more
-expressive than the venerable Ltac langue.
+expressive than the venerable Ltac language.
 
 Status
 ========
-- 
cgit v1.2.3