From 733564e496eaac816e037b5efe0f5cc6b861fe20 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Tue, 30 Jun 2020 09:29:32 +0200 Subject: Typo --- examples/Example.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/Example.v b/examples/Example.v index 2d48776..7beed4a 100644 --- a/examples/Example.v +++ b/examples/Example.v @@ -11,7 +11,7 @@ (* [Require Import SMTCoq.SMTCoq.] loads the SMTCoq library. - If you are using native-coq instead of Coq 8.9, replace it with: + If you are using native-coq instead of Coq 8.10, replace it with: Require Import SMTCoq. *) -- cgit