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 @@ org.cprover.regression - regression.jbmc + regression.book_examples 1.0-SNAPSHOT