No mention of protocol in url

46bfe9f3 · Gérard Huet · 650af863 · 46bfe9f3
Commit 46bfe9f3 authored Dec 20, 2018 by Gérard Huet
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

html.ml ML/html.ml +1 -1

No files found.
--- a/ML/html.ml
+++ b/ML/html.ml
@@ -740,7 +740,7 @@ value title_instructions =
 ;
 value doctype = "<!DOCTYPE html>" (* Assuming HTML5 *)
 ;
-value url dns = Paths.server_protocol ^ "://" ^ dns
+value url dns = (* Paths.server_protocol ^ "://" ^ *) dns
 ;
 value ocaml_site = url "ocaml.org"
 and inria_site = url "www.inria.fr/"