From c146a313b5eeee2bb567553810d57c6a8548bd9a Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Sun, 4 Jan 2015 21:03:36 +0100
Subject: STM: Make assert unneeded (Close 3898)

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

diff --git a/stm/stm.ml b/stm/stm.ml
index fe5d43ff4c..1dff4ae948 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -1048,7 +1048,7 @@ end = struct (* {{{ *)
         RespError { e_error_at; e_safe_id; e_msg; e_safe_states }
   
   let perform_states query =
-    assert(query <> []);
+    if query = [] then [] else
     let initial = 
       let rec aux id =
         try match VCS.visit id with { next } -> aux next
-- 
cgit v1.2.3