X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_kernel%2FnCicPp.ml;fp=matitaB%2Fcomponents%2Fng_kernel%2FnCicPp.ml;h=d19914ab4166bf423a6cee37caf689a75f414fdb;hb=928af763320668168206e88d93e8a77698f3b925;hp=80eb372aeec1dace6d1622ebf9b83e16fcf81e38;hpb=c9c6cae5121a25b05450ea42578f14f74569cfbf;p=helm.git

diff --git a/matitaB/components/ng_kernel/nCicPp.ml b/matitaB/components/ng_kernel/nCicPp.ml
index 80eb372ae..d19914ab4 100644
--- a/matitaB/components/ng_kernel/nCicPp.ml
+++ b/matitaB/components/ng_kernel/nCicPp.ml
@@ -280,6 +280,7 @@ let string_of_pragma = function
   | `Elim _sort -> "Elim _"
   | `Projection -> "Projection"
   | `InversionPrinciple -> "InversionPrinciple"
+  | `DiscriminationPrinciple -> "DiscriminationPrinciple"
   | `Variant -> "Variant"
   | `Local -> "Local"
   | `Regular -> "Regular"