From 9e2180a151d393bfafb3c14dc758939bf1107ba6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 16 Nov 2007 08:51:34 +0000
Subject: [PATCH] propagation of noinnertypes to matitac

---
 matita/matitamakeLib.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/matita/matitamakeLib.ml b/matita/matitamakeLib.ml
index eed971f45..2bf01f897 100644
--- a/matita/matitamakeLib.ml
+++ b/matita/matitamakeLib.ml
@@ -215,7 +215,10 @@ let call_make ?matita_flags development target make =
     let system = 
       if Helm_registry.get_bool "matita.system" then " -system" else ""
     in
-    already_defined ^ bench ^ system
+    let noinnertypes = 
+      if Helm_registry.get_bool "matita.noinnertypes" then " -noinnertypes" else ""
+    in
+    already_defined ^ bench ^ system ^ noinnertypes
   in
   let csc = try ["SRC=" ^ Sys.getenv "SRC"] with Not_found -> [] in
   rebuild_makefile development;
-- 
2.39.2