diff --git a/decompiler/frontend/binaryninja/handlers/symbols.py b/decompiler/frontend/binaryninja/handlers/symbols.py
index 5d04bf579..c5ddff056 100644
--- a/decompiler/frontend/binaryninja/handlers/symbols.py
+++ b/decompiler/frontend/binaryninja/handlers/symbols.py
@@ -26,8 +26,12 @@ def __init__(self, lifter: ObserverLifter):
             SymbolType.ImportedDataSymbol: Symbol,
             SymbolType.ExternalSymbol: ImportedFunctionSymbol,
             SymbolType.LibraryFunctionSymbol: Symbol,
-            SymbolType.SymbolicFunctionSymbol: FunctionSymbol,
         }
+        # SymbolicFunctionSymbol is not available for Binary Ninja < 4
+        try:
+            self.SYMBOL_MAP[SymbolType.SymbolicFunctionSymbol] = FunctionSymbol
+        except AttributeError:
+            pass
 
     def register(self):
         """Register the handler at the parent lifter."""