From 026de1e1e1ebfad8ef1e2de421433e93aff06356 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 28 Oct 2017 18:17:37 +0200
Subject: [PATCH] fix typo
---
README.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/README.md b/README.md
index f0767963..a6d0b2a4 100644
--- a/README.md
+++ b/README.md
@@ -28,7 +28,7 @@ Notably:
* `Generalizable All Variables`: This option enables implicit generalization in
arguments of the form `` `{...}`` (i.e., anonymous arguments). Unfortunately, it
also enables implicit generalization in `Instance`. We think that the fact
- taht both behaviors are coupled together is a
+ that both behaviors are coupled together is a
[bug in Coq](https://github.com/coq/coq/issues/6030).
* The behavior of `Program` is tweaked: `Unset Transparent Obligations`,
`Obligation Tactic := idtac`, `Add Search Blacklist "_obligation_"`. See
--
GitLab