Fix merge errors

Pi-Squared-Inc · Nov 25, 2024 · 34a6e09 · 34a6e09
1 parent 411966a
commit 34a6e09
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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