From 2db26a79cc920e422695cba2659c78d62d9b8c40 Mon Sep 17 00:00:00 2001
From: InfiniteEchoes <128528395+InfiniteEchoes@users.noreply.github.com>
Date: Tue, 18 Jun 2024 21:06:09 +0800
Subject: [PATCH] minor updates

---
 CoqOfPython/ethereum/paris/vm/instructions/simulations/keccak.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CoqOfPython/ethereum/paris/vm/instructions/simulations/keccak.v b/CoqOfPython/ethereum/paris/vm/instructions/simulations/keccak.v
index b1b419a..29b9809 100644
--- a/CoqOfPython/ethereum/paris/vm/instructions/simulations/keccak.v
+++ b/CoqOfPython/ethereum/paris/vm/instructions/simulations/keccak.v
@@ -23,7 +23,7 @@ Definition push := stack.push.
 
 Import simulations.CoqOfPython.Notations.
 
-(*  *)
+(* TODO: Check the axiomatized parts are done correctly *)
 Axiom keccak256 (bytes : FixedBytes.t) : FixBytes.t. Admitted. 
 
 (*