comparison test/jprt.config @ 4644:d39cc9734e92

fixed unique call on already GVNed constant
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 20 Feb 2012 14:24:01 +0100
parents f08d439fab8c
children
comparison
equal deleted inserted replaced
4643:a47f7a901c7a 4644:d39cc9734e92