Merge pull request #17 from JasonGross/fix-for-interval

Compatibility with coq-interval.4.7.0
VeriNum · Aug 31, 2023 · 35a4c24 · 35a4c24
2 parents 202bfb0 + 90d5a0c
commit 35a4c24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vcfloat/Prune.v b/vcfloat/Prune.v
@@ -5,7 +5,7 @@ Require Import Setoid.
 
 Import Coq.Lists.List ListNotations.
 Import Tree. (* must import this _after_ List *)
-Import Interval Private Interval_helper I2 IT2.IH I2.T Xreal Eval.Reify.
+Import Interval Private Interval_helper I2 IT2.IH Xreal Eval.Reify.
 
 Import Basic.
 Import Bool.