renamed old IrgVrfy() into new IrgVerify()
authorFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Thu, 8 Sep 2005 08:07:35 +0000 (08:07 +0000)
committerFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Thu, 8 Sep 2005 08:07:35 +0000 (08:07 +0000)
commit752845cc2344d6bca5d76292adeba4a00e3ade49
treecdc60e5393eaebf315fd204ed5aa413ffff8dc3f
parentd7c8c2370f5d9ab6520102ad205b56f1f4a0ccd8
renamed old IrgVrfy() into new IrgVerify()

[r6595]
firmjni/testprograms/Empty.java
firmjni/testprograms/IfElseExample.java