*** empty log message ***

[splint.git] / src / transferChecks.c

diff --git a/src/transferChecks.c b/src/transferChecks.c
index 635f4e0587ea8e5401da9b38c856bffefda96ca5..809db0a68d77854d5204e49869f4bd151e0effb5 100644 (file)
--- a/src/transferChecks.c
+++ b/src/transferChecks.c
@@ -4002,7 +4002,7 @@ checkMetaStateTransfer (exprNode fexp, sRef fref, exprNode texp, sRef tref,
   valueTable tvalues = sRef_getValueTable (tref);
 
   DPRINTF (("Metastate transfer: from %s", exprNode_unparse (fexp)));
-
+  
   DPRINTF (("Metastate transfer: %s => %s",
            sRef_unparseFull (fref),
            sRef_unparseFull (tref)));
@@ -4064,8 +4064,8 @@ checkMetaStateTransfer (exprNode fexp, sRef fref, exprNode texp, sRef tref,
              }
            else
              {
-               DPRINTF (("Transfer to error: %s", sRef_unparseFull (tref)));
-               BADBRANCH;
+               DPRINTF (("Transfer to error: %s / %s", sRef_unparseFull (tref),
+                         transferType_unparse (transferType)));
              }
          }
        else