From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 19 Feb 2004 14:34:15 +0000 (+0000)
Subject: source logging enabled by default
X-Git-Tag: v0_0_4~133
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ccc3fd1f3d2ca1c131b67a0fa428cb525298df58;p=helm.git

source logging enabled by default
---

diff --git a/helm/ocaml/mathql_generator/mQueryGenerator.ml b/helm/ocaml/mathql_generator/mQueryGenerator.ml
index 7e0dd9c96..4ae3f1388 100644
--- a/helm/ocaml/mathql_generator/mQueryGenerator.ml
+++ b/helm/ocaml/mathql_generator/mQueryGenerator.ml
@@ -35,7 +35,7 @@ module U = MQGUtil
 let locate s =
    let query = 
       M.Property (true,M.RefineExact,["objectName"],[],[],[],[],false,(M.Const s) )
-   in M.StatQuery query
+   in M.Log (false, true, M.StatQuery query)
 
 let unreferred target_pattern source_pattern =
    let query = 
@@ -46,7 +46,7 @@ let unreferred target_pattern source_pattern =
          M.Property(false,M.RefineExact,["refObj"],["h:occurrence"],[],[],[],true,(M.Const source_pattern))
       
       ))
-   in M.StatQuery query
+   in M.Log (false, true, M.StatQuery query)
 
 let compose cl = 
    let letin = ref [] in
@@ -137,7 +137,7 @@ let compose cl =
         let f (vvar, msval) x = M.LetVVar(vvar,msval,x) in 
         iter f (fun x y z -> x (y z)) ! letin
    in 
-   M.StatQuery (letin_query (select_query must_query))
+   M.Log (false, true, M.StatQuery (letin_query (select_query must_query)))
 
 (* high-level functions  ****************************************************)