correction

Signed-off-by: Alexander Diemand <codieplusplus@apax.net>
eLyKseeR · Jul 13, 2024 · bd76068 · bd76068
1 parent ffdfed2
commit bd76068
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/Distribution.v b/theories/Distribution.v
@@ -6,7 +6,7 @@ Require Import Program.
 Require Import NArith PArith.
 From Coq Require Import NArith.BinNat Lists.List Strings.String Structures.OrderedTypeEx FSets.FMapList Lia.
 
-From LXR Require Import Cstdio Assembly Configuration Conversion Filesystem HList Nchunks Utilities.
+From LXR Require Import Cstdio Assembly Configuration Filesystem Nchunks Utilities.
 
 Import ListNotations.