From 3a761c8ba9aaa9e1cfe4099f380ce0a3f8696a67 Mon Sep 17 00:00:00 2001
From: Shilpi Goel <shigoel@gmail.com>
Date: Wed, 31 Jan 2024 11:14:23 -0600
Subject: [PATCH] Fix file name in the import

---
 Proofs/Proofs.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Proofs/Proofs.lean b/Proofs/Proofs.lean
index 4a4e161c..da32c9c3 100644
--- a/Proofs/Proofs.lean
+++ b/Proofs/Proofs.lean
@@ -6,5 +6,5 @@ import «Proofs».MultiInsts
 import «Proofs».Test
 import «Proofs».Sha512_block_armv8_rules
 import «Proofs».Sha512_block_armv8
-import «Proofs».Sha512_AssocRepr
+import «Proofs».SHA512_AssocRepr