From 7ecd356fa7f7227d10f27ce195ea21b6508ba6ee Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 9 Dec 2005 10:52:50 +0000
Subject: [PATCH] ficed include and -I

---
 helm/matita/matitaScript.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index da2c5b2fa..c14bd7710 100644
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -83,6 +83,9 @@ let eval_with_engine guistuff status user_goal parsed_text st =
         | None -> []
         | Some devel -> [MatitamakeLib.root_for_development devel ]
   in
+  let include_ =
+    include_ @ (Helm_registry.get_list Helm_registry.string "matita.includes")
+  in
   let parsed_text_length = String.length parsed_text in
   let loc, ex = 
     match st with TA.Executable (loc,ex) -> loc, ex | _ -> assert false in
-- 
2.39.2