From 4db9d044f49abe960f527dfc3e1f15decca4cbce Mon Sep 17 00:00:00 2001
From: Burak Bilge Yalcinkaya <bbyalcinkaya@gmail.com>
Date: Fri, 27 Oct 2023 10:33:05 +0300
Subject: [PATCH] rename imported K modules `foundry => kasmer`

---
 kmxwasm/k-src/mx-wasm.md                        | 6 +++---
 kmxwasm/src/kmxwasm/property_testing/running.py | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/kmxwasm/k-src/mx-wasm.md b/kmxwasm/k-src/mx-wasm.md
index 41248c31..df37d473 100644
--- a/kmxwasm/k-src/mx-wasm.md
+++ b/kmxwasm/k-src/mx-wasm.md
@@ -1,6 +1,6 @@
 ```k
 require "mx-lemmas.md"
-require "mx-semantics/foundry.md"
+require "mx-semantics/kasmer.md"
 require "lemmas/proven-mx-lemmas.md"
 require "proof-extensions.md"
 require "specification-lemmas.md"
@@ -8,7 +8,7 @@ require "wasm-semantics/kwasm-lemmas.md"
 
 module MX-WASM-SYNTAX
   imports WASM-TEXT-SYNTAX
-  imports FOUNDRY-SYNTAX
+  imports KASMER-SYNTAX
 endmodule
 
 module MX-WASM
@@ -19,7 +19,7 @@ endmodule
 
 module MX-WASM-NO-LOCAL-LEMMAS
   imports CEILS
-  imports FOUNDRY
+  imports KASMER
   imports INT-KORE
   imports KWASM-LEMMAS
   imports MAP-KORE-SYMBOLIC
diff --git a/kmxwasm/src/kmxwasm/property_testing/running.py b/kmxwasm/src/kmxwasm/property_testing/running.py
index 312e53d9..2682cf5f 100644
--- a/kmxwasm/src/kmxwasm/property_testing/running.py
+++ b/kmxwasm/src/kmxwasm/property_testing/running.py
@@ -29,7 +29,7 @@
     'ELROND-NODE.pushCallState',
     'ELROND-NODE.popCallState',
     'ELROND-NODE.dropCallState',
-    'FOUNDRY.endFoundryImmediately',
+    'KASMER.endFoundryImmediately',
 ]