1 files changed, 1 insertions, 5 deletions
diff --git a/lib/Intv.v b/lib/Intv.v
index 090ff408..57d946e3 100644
--- a/lib/Intv.v
+++ b/lib/Intv.v
@@ -248,7 +248,7 @@ Next Obligation.
   destruct H2. congruence. auto.
 Qed.
 Next Obligation.
-  exists wildcard'0; split; auto. omega.
+  exists wildcard'; split; auto. omega.
 Qed.
 Next Obligation.
   exists (hi - 1); split; auto. omega.
@@ -310,7 +310,3 @@ Hint Resolve
   disjoint_range
   in_shift in_shift_inv
   in_elements elements_in : intv.
-
-
-
-