new ng_library module

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

diff --git a/helm/software/components/grafite_engine/nCicCoercDeclaration.ml b/helm/software/components/grafite_engine/nCicCoercDeclaration.ml
index 550cb93c4a10394ffcdd7ecc74146d416de77cfb..2f103cf83f944fe2255a908cf7c10779803b4da1 100644 (file)
--- a/helm/software/components/grafite_engine/nCicCoercDeclaration.ml
+++ b/helm/software/components/grafite_engine/nCicCoercDeclaration.ml
@@ -294,7 +294,7 @@ let record_ncoercion =
  let aux_l l ~refresh_uri_in_universe ~refresh_uri_in_term =
    List.fold_right (aux ~refresh_uri_in_universe ~refresh_uri_in_term) l
  in
-  NRstatus.Serializer.register "ncoercion" aux_l
+  NCicLibrary.Serializer.register "ncoercion" aux_l
 ;;
 
 let basic_eval_and_record_ncoercion infos status =