rename imported K modules foundry => kasmer

runtimeverification · Oct 26, 2023 · 31a465b · 31a465b
1 parent a27cb2b
commit 31a465b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/kmxwasm/k-src/mx-wasm.md b/kmxwasm/k-src/mx-wasm.md
@@ -1,14 +1,14 @@
 ```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"
 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