Remove parent inherited parts

runtimeverification · Dec 12, 2023 · 20d58c7 · 20d58c7
1 parent 9870e75
commit 20d58c7
Showing 1 changed file with 0 additions and 18 deletions.
diff --git a/matching/pom.xml b/matching/pom.xml
@@ -31,14 +31,6 @@
     </repository>
   </repositories>
 
-  <properties>
-    <scala.majorVersion>2.12</scala.majorVersion>
-    <scala.minorVersion>18</scala.minorVersion>
-    <scala.version>${scala.majorVersion}.${scala.minorVersion}</scala.version>
-    <spotless.version>2.41.1</spotless.version>
-    <scalafmt.version>3.7.17</scalafmt.version>
-  </properties>
-
   <dependencies>
     <dependency>
       <groupId>com.runtimeverification.k</groupId>
@@ -67,16 +59,6 @@
       <version>1.4</version>
       <classifier>linux64</classifier>
     </dependency>
-    <dependency>
-      <groupId>com.diffplug.spotless</groupId>
-      <artifactId>spotless-maven-plugin</artifactId>
-      <version>${spotless.version}</version>
-    </dependency>
-    <dependency>
-      <groupId>org.scalameta</groupId>
-      <artifactId>scalafmt-core_${scala.majorVersion}</artifactId>
-      <version>${scalafmt.version}</version>
-    </dependency>
   </dependencies>
 
   <build>