From 084417669f3d67f80557c4ec8bd27ec2150548f5 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Fri, 9 Oct 2020 10:04:48 +0200
Subject: [PATCH] Fixed exception

---
 common/lib/qcaml.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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