diff --git a/claripy/backends/backend_z3.py b/claripy/backends/backend_z3.py
index <HASH>..<HASH> 100644
--- a/claripy/backends/backend_z3.py
+++ b/claripy/backends/backend_z3.py
@@ -355,6 +355,7 @@ function_map['or'] = 'Or'
 function_map['and'] = 'And'
 function_map['not'] = 'Not'
 function_map['if'] = 'If'
+function_map['iff'] = 'If'
 function_map['bvlshr'] = 'LShR'
 
 from ..expression import E, A
add iff->If mapping for abstracting Z3 stuff