diff --git a/common/lib/qcaml.ml b/common/lib/qcaml.ml index dcccf10..38aa96b 100644 --- a/common/lib/qcaml.ml +++ b/common/lib/qcaml.ml @@ -3,7 +3,7 @@ let name = "QCaml" let root = let rec chop = function - | [] -> raise Not_found + | [] -> [] | x :: _ as l when x = name -> l | _ :: rest -> chop rest in