1 files changed, 0 insertions, 6 deletions
diff --git a/src/Util/NatUtil.v b/src/Util/NatUtil.v
index 256654df7..4ba6d0808 100644
--- a/src/Util/NatUtil.v
+++ b/src/Util/NatUtil.v
@@ -1,5 +1,4 @@
 Require Import NPeano Omega.
-Require Import Bedrock.Word.
 
 Local Open Scope nat_scope.
 
@@ -57,8 +56,3 @@ Proof.
     rewrite <- nat_compare_lt; auto.
   }
 Qed.
-
-Lemma pow2_id : forall n, pow2 n = 2 ^ n.
-Proof.
-  induction n; intros; simpl; auto.
-Qed.