fixup-binary-earch

Author: peterschrammel

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>