*** empty log message ***

[splint.git] / src / ctype.c

diff --git a/src/ctype.c b/src/ctype.c
index 6b910527cb4fb48a3f5c922f81b19fd865d61917..757a4c1d1d68526ce2d8acb23d65b18ff30d194c 100644 (file)
--- a/src/ctype.c
+++ b/src/ctype.c
@@ -988,11 +988,11 @@ ctype_isDirectInt (ctype c)
 static bool
   ctype_isForcePred (ctype * c, bool (pred) (ctype))
 {
-  if (ctype_isConj (*c))
+  /*drl bee: pbr */  if (ctype_isConj (*c))
     {
       ctype cbr = ctype_getConjA (*c);
 
-      if ((*pred) (cbr))
+     /*drl bee: si*/   if ((*pred) (cbr))
        {
          if ((*pred) (ctype_getConjB (*c)))
            {