From 34a6e09fbc1e257906263acf1cd1430d6731983f Mon Sep 17 00:00:00 2001 From: Virgil Date: Mon, 25 Nov 2024 23:48:47 +0200 Subject: [PATCH] Fix merge errors --- ulm-semantics/targets/execution/ulm-target.md | 1 + 1 file changed, 1 insertion(+) 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