X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicPp.ml;h=42b05d10e46561265b1186b292c333e9ca3d408d;hb=e79fd328fe626dbd8c76183c36f721119e9fb668;hp=59d6bcf488ba98bcabcf39f6fdf7b766f9b2928c;hpb=8e65e5eb59904848a24506ffe55323fdcc8bf975;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicPp.ml b/helm/software/components/ng_kernel/nCicPp.ml
index 59d6bcf48..42b05d10e 100644
--- a/helm/software/components/ng_kernel/nCicPp.ml
+++ b/helm/software/components/ng_kernel/nCicPp.ml
@@ -126,6 +126,8 @@ let ppterm ~context ~subst ~metasenv:_ ?(inside_fix=false) t =
              2 (List.tl pl));
          end;
       F.fprintf f "]@] @]";
+   | C.Appl [] | C.Appl [_] | C.Appl (C.Appl _::_) -> 
+       F.fprintf f "BAD APPLICATION"
    | C.Appl l -> 
        F.fprintf f "@[<hov 2>";
        if not toplevel then F.fprintf f "(";