Merge pull request #66 from proux01/stdlib_repo

Adapt to coq/coq#19530
JasonGross · Sep 17, 2024 · 1a3d721 · 1a3d721
2 parents f4d3d7c + 00bf06c
commit 1a3d721
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/theories/Util/Strings/String.v b/theories/Util/Strings/String.v
@@ -1,6 +1,6 @@
-Require Import Coq.micromega.Lia.
-Require Import Coq.Strings.String.
-Require Import Coq.Strings.Ascii.
+From Coq Require Import Lia.
+From Coq Require Import String.
+From Coq Require Import Ascii.
 Require Import NeuralNetInterp.Util.Strings.Ascii.
 
 Local Open Scope list_scope.