Removing unnecessary imports

rems-project · Mar 13, 2024 · af3edb4 · af3edb4
1 parent 4c982f1
commit af3edb4
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/coq-cheri-capabilities.opam b/coq-cheri-capabilities.opam
@@ -6,7 +6,7 @@ maintainer: ["ricardo.almeida@ed.ac.uk"]
 authors: ["Ricardo Almeida" "Vadim Zaliva"]
 license: "BSD-3-clause"
 homepage: "https://github.com/rems-project/coq-cheri-capabilities"
-version: "20240312"
+version: "20240313"
 bug-reports: "https://github.com/rems-project/coq-cheri-capabilities/issues"
 depends: [
   "dune" {>= "3.7"}

diff --git a/theories/Common/Utils.v b/theories/Common/Utils.v
@@ -3,8 +3,6 @@ Require Import Coq.Strings.String.
 Require Import Coq.Classes.DecidableClass.
 Require Import Coq.Floats.PrimFloat.
 Require Import Coq.Numbers.BinNums.
-Require Import Coq.ZArith.ZArith.
-Require Import Coq.ZArith.Zdigits.
 Require Import Coq.Vectors.Vector.
 Require Import Coq.Strings.Ascii.