From 002c964924e19919ea16384af4fac4fe68f67077 Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Mon, 16 Oct 2023 11:23:41 +0300
Subject: [PATCH] Fix pyk imports

---
 kmxwasm/src/kmxwasm/build.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kmxwasm/src/kmxwasm/build.py b/kmxwasm/src/kmxwasm/build.py
index a4084cc8..3a9b7890 100644
--- a/kmxwasm/src/kmxwasm/build.py
+++ b/kmxwasm/src/kmxwasm/build.py
@@ -1,7 +1,7 @@
 from pathlib import Path
 
 from pyk.kbuild.kbuild import KBuild
-from pyk.kbuild.package import Package
+from pyk.kbuild.project import Project
 
 from .timing import Timer
 from .tools import Tools
@@ -14,7 +14,7 @@
 
 def kbuild_semantics(output_dir: Path, config_file: Path, target: str, booster: bool) -> Tools:
     kbuild = KBuild(output_dir)
-    package = Package.create(config_file)
+    package = Project.load(config_file)
 
     t = Timer(f'Kompiling {target}:')
     kbuild.kompile(package, target)