Commit 2e3c2441 authored by POTTIER Francois's avatar POTTIER Francois

coq-menhirlib: replace Require Omega with Require ZArith.

parent d79ad749
Pipeline #205222 passed with stages
in 58 seconds
...@@ -11,7 +11,7 @@ ...@@ -11,7 +11,7 @@
(* *) (* *)
(****************************************************************************) (****************************************************************************)
From Coq Require Import Omega List Relations RelationClasses. From Coq Require Import ZArith List Relations RelationClasses.
Import ListNotations. Import ListNotations.
Local Obligation Tactic := intros. Local Obligation Tactic := intros.
......
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