diff options
| author | Enrico Tassi | 2016-08-23 15:09:56 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2016-08-23 15:09:56 +0200 |
| commit | fa7d01708e4af53a6adeddf563b57bc38fc8d2fe (patch) | |
| tree | 3f68584c5daa3d523cd108f4c608209cb36f79c1 | |
| parent | 50bece7c25e62132bc06c3bb0261937c657319d3 (diff) | |
fix get_host_port error message (#4724)
| -rw-r--r-- | toplevel/coqtop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |