From 192b168332758ec3790ac863b7fbac2ec3a8b13c Mon Sep 17 00:00:00 2001
From: Azat Abdullin <azat.aam@gmail.com>
Date: Fri, 10 Nov 2023 14:54:31 +0100
Subject: [PATCH] fix kex-boolector and kex-z3 builds

---
 kex-boolector/pom.xml | 4 ++--
 kex-z3/pom.xml        | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/kex-boolector/pom.xml b/kex-boolector/pom.xml
index 12ca68d6d..aebf9cb49 100644
--- a/kex-boolector/pom.xml
+++ b/kex-boolector/pom.xml
@@ -24,12 +24,12 @@
 
         <dependency>
             <groupId>org.vorpal.research</groupId>
-            <artifactId>core</artifactId>
+            <artifactId>kex-core</artifactId>
             <version>${project.version}</version>
         </dependency>
         <dependency>
             <groupId>org.vorpal.research</groupId>
-            <artifactId>core</artifactId>
+            <artifactId>kex-core</artifactId>
             <version>${project.version}</version>
             <classifier>tests</classifier>
             <type>test-jar</type>
diff --git a/kex-z3/pom.xml b/kex-z3/pom.xml
index ecd448b0b..92dc829c8 100644
--- a/kex-z3/pom.xml
+++ b/kex-z3/pom.xml
@@ -24,12 +24,12 @@
 
         <dependency>
             <groupId>org.vorpal.research</groupId>
-            <artifactId>core</artifactId>
+            <artifactId>kex-core</artifactId>
             <version>${project.version}</version>
         </dependency>
         <dependency>
             <groupId>org.vorpal.research</groupId>
-            <artifactId>core</artifactId>
+            <artifactId>kex-core</artifactId>
             <version>${project.version}</version>
             <classifier>tests</classifier>
             <type>test-jar</type>