From e2086913ece7e58526d9593c4ffdcb5465a1f56c Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Mon, 26 Aug 2024 16:10:06 +0300
Subject: [PATCH] Filter preprocessing imports

---
 rust-semantics/targets/preprocessing/configuration.md | 6 ++++--
 rust-semantics/targets/preprocessing/rust.md          | 7 +++++--
 2 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/rust-semantics/targets/preprocessing/configuration.md b/rust-semantics/targets/preprocessing/configuration.md
index 7b41f3e..d122260 100644
--- a/rust-semantics/targets/preprocessing/configuration.md
+++ b/rust-semantics/targets/preprocessing/configuration.md
@@ -10,12 +10,14 @@ endmodule
 
 module RUST-RUNNING-CONFIGURATION
     imports COMMON-K-CELL
-    imports RUST-CONFIGURATION
+    imports RUST-PREPROCESSING-CONFIGURATION
 
     configuration
         <rust-mx>
             <k/>
-            <rust/>
+            <rust>
+                <preprocessed/>
+            </rust>
         </rust-mx>
 endmodule
 
diff --git a/rust-semantics/targets/preprocessing/rust.md b/rust-semantics/targets/preprocessing/rust.md
index 74ee243..0390e57 100644
--- a/rust-semantics/targets/preprocessing/rust.md
+++ b/rust-semantics/targets/preprocessing/rust.md
@@ -1,7 +1,9 @@
 ```k
 
 requires "configuration.md"
-requires "../../rust-common.md"
+requires "../../preprocessing.md"
+requires "../../representation.md"
+requires "../../expression.md"
 requires "../../rust-common-syntax.md"
 
 module RUST-SYNTAX
@@ -9,8 +11,9 @@ module RUST-SYNTAX
 endmodule
 
 module RUST
+    imports private RUST-EXPRESSION
+    imports private RUST-PREPROCESSING
     imports private RUST-RUNNING-CONFIGURATION
-    imports private RUST-COMMON
 endmodule
 
 ```