From 3a5ed8fe67f8ec5792fa4da91b0ccc862b99b046 Mon Sep 17 00:00:00 2001
From: Sergey Kapralov <skapralov@mail.ru>
Date: Sat, 29 Jan 2022 00:12:59 +0300
Subject: [PATCH] Slight convenience change in pom.xml

---
 pom.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pom.xml b/pom.xml
index 5d9c9706..b19c612f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -18,6 +18,9 @@
         </profile>
         <profile>
             <id>modules</id>
+            <activation>
+                <activeByDefault>true</activeByDefault>
+            </activation>
             <modules>
                 <module>oo-equivalence</module>
                 <module>oo-tests</module>