diff options
| author | Enrico Tassi | 2015-01-04 21:03:36 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-01-04 21:03:36 +0100 |
| commit | c146a313b5eeee2bb567553810d57c6a8548bd9a (patch) | |
| tree | 9edc6db3824845ce3881b1d8e4d18ffeb83302d9 | |
| parent | b0fceb96d0aaa2db6e774c629503be459017608e (diff) | |
STM: Make assert unneeded (Close 3898)
| -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 |