[Javapathfinder-svn] SF.net SVN: javapathfinder:[1504] trunk/src/gov/nasa/jpf

[<pcm...@us...>]

Revision: 1504
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1504&view=rev
Author:   pcmehlitz
Date:     2009-05-11 23:55:06 +0000 (Mon, 11 May 2009)

Log Message:
-----------
* small change in ExecTracker/Step to avoid re-printing the same source line

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/jvm/Step.java
    trunk/src/gov/nasa/jpf/tools/ExecTracker.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.