From 4d13c1dfd3d6f37893d2a7b0479202c47cf0f55c Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Thu, 19 Jul 2012 09:15:32 +0400
Subject: [PATCH] Avoid extra work

---
 wsi.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wsi.ml b/wsi.ml
index 69ad2d9..607f9f5 100644
--- a/wsi.ml
+++ b/wsi.ml
@@ -201,7 +201,7 @@ let padcat s1 s2 = padcatl [s1; s2];;
 let internreq name onlyifexists =
   let s = "\016\000\000\000\000\000\000\000" in
   let s = padcat s name in
-  w8 s 1 (if onlyifexists then 1 else 0);
+  if onlyifexists then w8 s 1 1;
   w16 s 2 (String.length s / 4);
   w16 s 4 (String.length name);
   s;
-- 
2.11.4.GIT