Correct unnecessary alternation in URL parser

Signed-off-by: David Allsopp <david.allsopp@metastack.com>
rjbou · Mar 17, 2018 · 7db852f · 7db852f
1 parent dcdb6b3
commit 7db852f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/opamUrl.ml b/src/core/opamUrl.ml
@@ -37,7 +37,7 @@ let split_url =
         opt @@ seq [
           (* Backend *)
           opt @@ seq [ group @@ rep @@ diff any (set "+:");
-                       alt [ char '+'; str "://"] ];
+                       char '+' ];
           (* Protocol *)
           group @@ rep @@ diff any (char ':');
           (* Separator *)