From f24ee09ceba8d9d55d380e70d364ac3178025983 Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 11 Feb 2013 21:06:38 +0400 Subject: [PATCH] Fix type and move comment to the proper position --- wsi.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wsi.ml b/wsi.ml index 5fb2934..0972321 100644 --- a/wsi.ml +++ b/wsi.ml @@ -746,7 +746,7 @@ let setup sock screennum w h = let atom = r32 resp 8 in let pid = Unix.getpid () in let s = s32 pid in - let s = changepropreq wid atom 6 (* cardinal *) 8 s in + let s = changepropreq wid atom (* cardinal *)6 32 s in sendstr s sock; ) ); -- 2.11.4.GIT