diff --git a/Clear/EVMState.lean b/Clear/EVMState.lean
index 62a403f..6d24a3e 100644
--- a/Clear/EVMState.lean
+++ b/Clear/EVMState.lean
@@ -162,7 +162,7 @@ structure EVMState : Type where
 deriving DecidableEq
 
 instance : Inhabited EVMState :=
-  ⟨ ∅ , default, default , ∅ , default, ∅ , default , False ⟩
+  ⟨ ∅ , default, default , ∅ , default, ∅ , default , false ⟩
 
 abbrev EVM := EVMState