From 43b7e02101a0f2a8cd3b3b75297371419a67e996 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Sat, 25 Sep 2021 11:52:32 +0200 Subject: Vendored MenhirLib: replace Require Omega with Require ZArith For compatibility with Coq 8.14. Cherry-picked from upstream commit 2e3c2441 --- MenhirLib/Alphabet.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'MenhirLib') diff --git a/MenhirLib/Alphabet.v b/MenhirLib/Alphabet.v index 530e3b4a..cd849761 100644 --- a/MenhirLib/Alphabet.v +++ b/MenhirLib/Alphabet.v @@ -11,7 +11,7 @@ (* *) (****************************************************************************) -From Coq Require Import Omega List Relations RelationClasses. +From Coq Require Import ZArith List Relations RelationClasses. Import ListNotations. Local Obligation Tactic := intros. -- cgit