X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/028c825ee51c6cbb10546fae3ee3953f872f5fca..566b8b828c76b785b574207017d63e7532b8a14c:/src/constraintGeneration.c

diff --git a/src/constraintGeneration.c b/src/constraintGeneration.c
index 9be223e..148a2e7 100644
--- a/src/constraintGeneration.c
+++ b/src/constraintGeneration.c
@@ -849,7 +849,7 @@ void exprNode_multiStatement (/*@dependent@*/ exprNode e)
   constraintList temp;
 
   DPRINTF((message ("exprNode_multistatement Analysising %s %s at", exprNode_unparse(e),
-		    fileloc_unparse(exprNode_getfileloc(e)))));
+		    fileloc_unparse(exprNode_getNextSequencePoint(e)))));
   
   if (exprNode_handleError (e))
     {