diff --git a/frontends/concrete-python/concrete/fhe/extensions/synthesis/fhe_function.py b/frontends/concrete-python/concrete/fhe/extensions/synthesis/fhe_function.py
index 3752b24cb3..5a3492be48 100644
--- a/frontends/concrete-python/concrete/fhe/extensions/synthesis/fhe_function.py
+++ b/frontends/concrete-python/concrete/fhe/extensions/synthesis/fhe_function.py
@@ -2,6 +2,7 @@
 INTERNAL extension to synthesize a fhe compatible function from verilog code.
 """
 
+from __future__ import annotations
 from collections import Counter
 from typing import Optional
 
diff --git a/frontends/concrete-python/concrete/fhe/extensions/synthesis/luts_to_fhe.py b/frontends/concrete-python/concrete/fhe/extensions/synthesis/luts_to_fhe.py
index 5409154e1c..1c5ec029a6 100644
--- a/frontends/concrete-python/concrete/fhe/extensions/synthesis/luts_to_fhe.py
+++ b/frontends/concrete-python/concrete/fhe/extensions/synthesis/luts_to_fhe.py
@@ -2,6 +2,7 @@
 Convert the simple Tlu Dag to a concrete-python Tracer function.
 """
 
+from __future__ import annotations
 from collections import Counter
 from dataclasses import dataclass
 from typing import Iterable, cast
diff --git a/frontends/concrete-python/concrete/fhe/extensions/synthesis/verilog_to_luts.py b/frontends/concrete-python/concrete/fhe/extensions/synthesis/verilog_to_luts.py
index 4ad8ef3aee..8a6e40c6fa 100644
--- a/frontends/concrete-python/concrete/fhe/extensions/synthesis/verilog_to_luts.py
+++ b/frontends/concrete-python/concrete/fhe/extensions/synthesis/verilog_to_luts.py
@@ -2,6 +2,7 @@
 Rewrite yosys json output as a simple Tlu Dag.
 """
 
+from __future__ import annotations
 import json
 import os
 import shutil