From 315aac9ae0d411c10849c421d5dfd8e134919233 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 1 Dec 2015 11:30:35 +0100
Subject: vio: fix argument parsing (progress on #4442)

---
 stm/vio_checking.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stm')

diff --git a/stm/vio_checking.ml b/stm/vio_checking.ml
index 06bf955c82..ce930cacb7 100644
--- a/stm/vio_checking.ml
+++ b/stm/vio_checking.ml
@@ -43,7 +43,7 @@ let schedule_vio_checking j fs =
   let rec filter_argv b = function
     | [] -> []
     | "-schedule-vio-checking" :: rest -> filter_argv true rest
-    | s :: rest when s.[0] = '-' && b -> filter_argv false (s :: rest)
+    | s :: rest when String.length s > 0 && s.[0] = '-' && b -> filter_argv false (s :: rest)
     | _ :: rest when b -> filter_argv b rest
     | s :: rest -> s :: filter_argv b rest in
   let pack = function
-- 
cgit v1.2.3