Fix imports

runtimeverification · Oct 31, 2023 · f0d2bdd · f0d2bdd
1 parent 0aa3b36
commit f0d2bdd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"