small fix

MetaCoq · Nov 23, 2024 · 17fa202 · 17fa202
1 parent 91c1d38
commit 17fa202
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/utils/theories/utils.v b/utils/theories/utils.v
@@ -4,7 +4,7 @@
 (** If you don't want to have the following scopes opened you should *)
 (** not import this file or close them. *)
 
-From Coq Require Export Bool ZArith Arith Lia List Nat.
+From Coq Require Export Bool ZArith Arith Lia List.
 
 From MetaCoq.Utils Require Export MCUtils monad_utils.