new tactics are almost ready

[helm.git] / helm / software / components / grafite_engine / grafiteSync.ml

diff --git a/helm/software/components/grafite_engine/grafiteSync.ml b/helm/software/components/grafite_engine/grafiteSync.ml
index c1b23c9281697c18c3ac5d6ad8c0b5431fc0abf9..3fc67f2fda4f71b9dde3ddfa08c99e7b4f4e0122 100644 (file)
--- a/helm/software/components/grafite_engine/grafiteSync.ml
+++ b/helm/software/components/grafite_engine/grafiteSync.ml
@@ -122,6 +122,7 @@ let initial_status baseuri = {
     coercions = CoercDb.empty_coerc_db;
     universe = Universe.empty;
     baseuri = baseuri;
+    ng_status = None;
   }