Merge pull request 'correction' (#63) from corr_distribution into main

eLyKseeR · Jul 13, 2024 · 170e8b3 · 170e8b3
2 parents ffdfed2 + bd76068
commit 170e8b3
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.