Merge branch 'master' into highprecision

nickbattle · Dec 2, 2023 · f44a9f4 · f44a9f4
2 parents 40d1202 + 9d21b92
commit f44a9f4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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>