update ulm-wasm entrypoint to include WASM-TEXT

Pi-Squared-Inc · Nov 26, 2024 · b7fc79e · b7fc79e
1 parent 1228bfa
commit b7fc79e
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/ulm-wasm.md b/pykwasm/src/pykwasm/kdist/wasm-semantics/ulm-wasm.md
@@ -1,5 +1,5 @@
 ```k
-requires "wasm.md"
+requires "wasm-text.md"
 requires "ulm.k"
 ```
 
@@ -11,7 +11,11 @@ endmodule
 
 ```k
 module ULM-WASM
-  imports WASM
+  imports WASM-TEXT
   imports ULM
+
+  configuration <ulm-wasm>
+                  <wasm/>
+                </ulm-wasm>
 endmodule
 ```