Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[fix] db3: Remove assert on root path (add a runtime warning instead)

  • Loading branch information...
commit caf2cc6cebfe2e4eda3e1d7f9e78e32d931e480c 1 parent e2b8a85
@BourgerieQuentin BourgerieQuentin authored
Showing with 5 additions and 2 deletions.
  1. +5 −2 database/db3/queryMap.ml
View
7 database/db3/queryMap.ml
@@ -1,5 +1,5 @@
(*
- Copyright © 2011 MLstate
+ Copyright © 2011, 2012 MLstate
This file is part of OPA.
@@ -36,10 +36,13 @@ type t = query list KeyRecMap.map
let path_to_nonempty_list l =
let l = Path.to_list l in
- assert (not (List.is_empty l));
+ (match l with
+ | [] -> Logger.warning "No transaction on root path";
+ | _ -> ());
l
+
(* Print *)
let print_query = function
Please sign in to comment.
Something went wrong with that request. Please try again.