From 15187fbbd2e995476a4877f00d86170b2edeefc9 Mon Sep 17 00:00:00 2001
From: Peter Schrammel <peter.schrammel@diffblue.com>
Date: Mon, 30 Dec 2024 17:17:56 +0100
Subject: [PATCH] fixup-binary-earch

---
 jbmc/regression/book-examples/BinarySearch/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jbmc/regression/book-examples/BinarySearch/pom.xml b/jbmc/regression/book-examples/BinarySearch/pom.xml
index d61aa06545f..a29ba35b0cb 100644
--- a/jbmc/regression/book-examples/BinarySearch/pom.xml
+++ b/jbmc/regression/book-examples/BinarySearch/pom.xml
@@ -9,7 +9,7 @@
 
     <parent>
         <groupId>org.cprover.regression</groupId>
-        <artifactId>regression.jbmc</artifactId>
+        <artifactId>regression.book_examples</artifactId>
         <version>1.0-SNAPSHOT</version>
     </parent>