Fix MetaCoq utils imports (#233)

AU-COBRA · Oct 24, 2023 · af5318c · af5318c
1 parent d53214f
commit af5318c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/embedding/theories/Misc.v b/embedding/theories/Misc.v
@@ -1,6 +1,6 @@
 (** * Some facts not found in the standard library *)
 From ConCert.Utils Require Import Automation.
-From MetaCoq Require Import utils.
+From MetaCoq.Utils Require Import utils.
 From Coq Require Import List.
 From Coq Require Import Lia.