diff --git a/xdsl_smt/utils/transfer_function_check_util.py b/xdsl_smt/utils/transfer_function_check_util.py
index d44ff695..279af84d 100644
--- a/xdsl_smt/utils/transfer_function_check_util.py
+++ b/xdsl_smt/utils/transfer_function_check_util.py
@@ -98,7 +98,7 @@ def valid_abstract_domain_check(
 
 """
 Given the transfer function and a set of integer attributes associated with the function,
-returns if the attr set makes the operation valid.
+returns a boolean SSA Value that checks if the operation is valid.
 For example:
 trunc %a from i32 to i64 (invalid)
 trunc %a from i5 to i3 (valid)