- pretty printer made robust in face of list_nth

[helm.git] / helm / software / components / ng_kernel / nCicLibrary.ml

diff --git a/helm/software/components/ng_kernel/nCicLibrary.ml b/helm/software/components/ng_kernel/nCicLibrary.ml
index 86822aa74b28f56878e4fdeffd4cb6e563178654..e2d800157dd4d57c4f44852dd6735b6dfc6ebd0e 100644 (file)
--- a/helm/software/components/ng_kernel/nCicLibrary.ml
+++ b/helm/software/components/ng_kernel/nCicLibrary.ml
@@ -56,7 +56,7 @@ let add_obj u obj =
            HExtlib.list_mapi
             (fun (_,cname,_) j->
               u,cname,
-               NReference.reference_of_spec u (NReference.Con (i,j,leftno))
+               NReference.reference_of_spec u (NReference.Con (i,j+1,leftno))
             ) cl @
            [u,iname,
              NReference.reference_of_spec u