Update Overture repository

overturetool · Sep 26, 2016 · 9a1053f · 9a1053f
1 parent cd4a575
commit 9a1053f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pom.xml b/pom.xml
@@ -367,12 +367,12 @@ http://mojo.codehaus.org/versions-maven-plugin/
     <repository>
       <id>overture.au.dk</id>
       <name>overture.au.dk-releases</name>
-      <url>http://overture.au.dk/artifactory/overture-vdm2c</url>
+      <url>http://overture.au.dk/artifactory/vdm2c</url>
     </repository>
     <snapshotRepository>
       <id>overture.au.dk</id>
       <name>overture.au.dk-snapshots</name>
-      <url>http://overture.au.dk/artifactory/overture-vdm2c</url>
+      <url>http://overture.au.dk/artifactory/vdm2c</url>
     </snapshotRepository>
 	</distributionManagement>