From 5976abe5d66b4e52db76e8de10e9de6829349e44 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 18 Jan 2006 11:47:13 +0000
Subject: [PATCH] fast hack to fix decompilation with -nodb with the new
 getter.prefixes format

---
 helm/ocaml/library/libraryClean.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/ocaml/library/libraryClean.ml b/helm/ocaml/library/libraryClean.ml
index d09769fc2..6f72ff495 100644
--- a/helm/ocaml/library/libraryClean.ml
+++ b/helm/ocaml/library/libraryClean.ml
@@ -140,7 +140,7 @@ let moo_root_dir = lazy (
           match
             Str.split (Str.regexp "[ \t\r\n]+") (HExtlib.trim_blanks pair)
           with
-          | [a;b] -> a, b
+          | a::b::_ -> a, b
           | _ -> assert false)
         (Helm_registry.get_list Helm_registry.string "getter.prefix"))
   in
-- 
2.39.2