Bug fixed: nstatus => status (to undo the changes).

Worring warnings commented out.

diff --git a/helm/software/components/grafite_engine/grafiteEngine.ml b/helm/software/components/grafite_engine/grafiteEngine.ml
index fe2da884d4c1f02c2c808e97b2c40fe9fa522a88..c44b70178fafd36a9069372807fa8e3dd4554a48 100644 (file)
--- a/helm/software/components/grafite_engine/grafiteEngine.ml
+++ b/helm/software/components/grafite_engine/grafiteEngine.ml
@@ -933,16 +933,15 @@ let rec eval_ncommand opts status (text,prefix_len,cmd) =
                 in
                 if nstatus#ng_mode <> `CommandMode then
                   begin
-                    HLog.error "error in generating projection/eliminator";
-                    prerr_endline (NCicPp.ppobj nstatus#obj);
-                    nstatus, uris
+                    (*HLog.warn "error in generating projection/eliminator";*)
+                    status, uris
                   end
                 else
                   nstatus, concat_nuris uris nuris
                with
-               | MultiPassDisambiguator.DisambiguationError _ 
+               | MultiPassDisambiguator.DisambiguationError _
                | NCicTypeChecker.TypeCheckerFailure _ ->
-                  HLog.warn "error in generating projection/eliminator";
+                  (*HLog.warn "error in generating projection/eliminator";*)
                   status,uris
              ) (status,`New [] (* uris *)) boxml in             
            let _,_,_,_,nobj = obj in 
@@ -963,7 +962,7 @@ let rec eval_ncommand opts status (text,prefix_len,cmd) =
                              [] -> eval_ncommand opts status ("",0,GrafiteAst.NQed Stdpp.dummy_loc)
                            | _ -> status,`New []))
                        (* XXX *)
-                      with _ -> HLog.warn "error in generating inversion principle"; 
+                      with _ -> (*HLog.warn "error in generating inversion principle"; *)
                                 let status = status#set_ng_mode `CommandMode in status)
                   status
                   (NCic.Prop::