From 9d21b92a13d50fe66373e42c6b20ac9c4547796a Mon Sep 17 00:00:00 2001
From: Nick Battle <nick.battle@gmail.com>
Date: Sat, 2 Dec 2023 09:59:23 +0000
Subject: [PATCH] Re-order top level POM

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

diff --git a/pom.xml b/pom.xml
index a89870163..d205cf1ef 100644
--- a/pom.xml
+++ b/pom.xml
@@ -31,9 +31,9 @@
         <module>dbgpc</module>
         <module>cmd-plugins</module>
         <module>vdmjunit</module>
-        <module>examples</module>
-        <module>packaging</module>
         <module>quickcheck</module>
+        <module>packaging</module>
+        <module>examples</module>
     </modules>
 
 	<dependencyManagement>