From fa7d01708e4af53a6adeddf563b57bc38fc8d2fe Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 23 Aug 2016 15:09:56 +0200
Subject: fix get_host_port error message (#4724)

---
 toplevel/coqtop.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index c49a97cadb..a56459f180 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -382,7 +382,7 @@ let get_host_port opt s =
        Some (Spawned.Socket(host, int_of_string portr, int_of_string portw))
   | ["stdfds"] -> Some Spawned.AnonPipe
   | _ ->
-     prerr_endline ("Error: host:port or stdfds expected after option "^opt);
+     prerr_endline ("Error: host:portr:portw or stdfds expected after option "^opt);
      exit 1
 
 let get_error_resilience opt = function
-- 
cgit v1.2.3