diff options
| -rw-r--r-- | stm/stm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |