comment fixed

usethesource · Sep 24, 2024 · 18581ea · 18581ea
1 parent 3fd5e12
commit 18581ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/uri/file/MavenRepositoryURIResolver.java b/src/org/rascalmpl/uri/file/MavenRepositoryURIResolver.java
@@ -177,7 +177,7 @@ public ISourceLocation resolve(ISourceLocation input) throws IOException {
         }
         else {
             // the authority encodes the group, name and version of a maven dependency
-            // org.rascalmpl.rascal-34.2.0-RC2
+            // org.rascalmpl--rascal--34.2.0-RC2
             var m = authorityRegEx.matcher(authority);
 
             if (m.matches()) {