diff --git a/ulm-semantics/targets/execution/ulm-target.md b/ulm-semantics/targets/execution/ulm-target.md
index 40f63ce..1edcae8 100644
--- a/ulm-semantics/targets/execution/ulm-target.md
+++ b/ulm-semantics/targets/execution/ulm-target.md
@@ -20,6 +20,7 @@ module ULM-TARGET
     imports private ULM-DECODING
     imports private ULM-ENCODING
     imports private ULM-EXECUTION
+    imports private ULM-PREPROCESSING
     imports private ULM-SEMANTICS-HOOKS-NO-DEBUG
     imports private ULM-SEMANTICS-HOOKS-TO-ULM-FUNCTIONS
     imports private ULM-TARGET-CONFIGURATION