Made allocations involving sizeof work correctly (test/malloc.c).

[splint.git] / src / exprNode.c

diff --git a/src/exprNode.c b/src/exprNode.c
index b8a3c056dca8d3283f8d5a386e1eb9562b8e52dd..62b44f8b35e815adfa9f26800c499059d84eaf8b 100644 (file)
--- a/src/exprNode.c
+++ b/src/exprNode.c
@@ -5009,8 +5009,8 @@ exprNode_cast (/*@only@*/ lltok tok, /*@only@*/ exprNode e, /*@only@*/ qtype q)
   ret->edata = exprData_makeCast (tok, e, q);
 
   ret->sref = sRef_copy (e->sref);
-  
-  DPRINTF (("Cast 2: -> %s", sRef_unparseFull (ret->sref)));
+
+  DPRINTF (("Cast: -> %s", sRef_unparseFull (ret->sref)));
 
   if (!sRef_isConst (e->sref))
     {