compatibility with coq/coq#19310 (#1929)

coq/coq#19310 rewrites the Coq prefix to Stdlib on the fly
mit-plv · Jul 13, 2024 · d31276b · d31276b
1 parent 9ace037
commit d31276b
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/Util/ZUtil/Hints/Core.v b/src/Util/ZUtil/Hints/Core.v
@@ -112,6 +112,15 @@ Module Coq.
     End PreOmega.
   End omega.
 End Coq.
+Module Stdlib.
+  Module omega.
+    Module PreOmega.
+      Definition Z_of_nat' := Z.of_nat.
+      Ltac hide_Z_of_nat a := idtac.
+      Ltac zify_nat_op := idtac.
+    End PreOmega.
+  End omega.
+End Stdlib.
 
 Ltac Coq.omega.PreOmega.zify_nat_op ::=
  match goal with