Bug fixing.

diff --git a/helm/software/components/grafite_engine/grafiteEngine.ml b/helm/software/components/grafite_engine/grafiteEngine.ml
index 73905eef306be23960b89d239e2ff473f7ce4ff3..73118fa56a491bd6703f4c6c5b911b833eb6f366 100644 (file)
--- a/helm/software/components/grafite_engine/grafiteEngine.ml
+++ b/helm/software/components/grafite_engine/grafiteEngine.ml
@@ -616,7 +616,7 @@ let record_index_eq =
 let index_eq_for_auto status uri =
  if NnAuto.is_a_fact_obj status uri then
    let newstatus = index_eq uri status in
-     if newstatus == status then status 
+     if newstatus#eq_cache == status#eq_cache then status 
      else
        ((*prerr_endline ("recording " ^ (NUri.string_of_uri uri));*)
        let dump = record_index_eq uri :: newstatus#dump