From 9e5e7251275c8833c137179abe3ea1016a3547ee Mon Sep 17 00:00:00 2001
From: Nick Battle <nick.battle@gmail.com>
Date: Sat, 2 Dec 2023 09:56:24 +0000
Subject: [PATCH] Renamed QC pom

---
 quickcheck/pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/quickcheck/pom.xml b/quickcheck/pom.xml
index 87a9539e6..c613e5c3c 100644
--- a/quickcheck/pom.xml
+++ b/quickcheck/pom.xml
@@ -10,8 +10,8 @@
 	</parent>
 
 	<artifactId>quickcheck</artifactId>
-	<name>Example QuickCheck plugin</name>
-	<description>Experimental brute force plugin for PO verification.</description>
+	<name>QuickCheck plugin</name>
+	<description>Direct execution plugin for PO verification.</description>
 
 	<dependencies>
 		<dependency>