Commit 026de1e1 authored by Ralf Jung's avatar Ralf Jung

fix typo

parent f615c37d
Pipeline #4976 passed with stages
in 5 minutes and 55 seconds
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment