diff --git a/utils/slither_format/format_constable_states.py b/utils/slither_format/format_constable_states.py
index 0cf93b967..216de9fbb 100644
--- a/utils/slither_format/format_constable_states.py
+++ b/utils/slither_format/format_constable_states.py
@@ -1,4 +1,4 @@
-import re, logging
+import re, logging, sys
 from slither.utils.colors import red, yellow, set_colorization_enabled
 
 logging.basicConfig(level=logging.INFO)