commit | 8107ad93f48e0a3198bd68d6dd504a6db01433dc | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed Apr 21 15:16:10 2010 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed Apr 21 15:16:10 2010 +0000 |
tree | 728d4f7e7073b04e04e8423333f64c15fcb9cd3b | |
parent | 9654e630a702d28b23ab73110aa1f5ef40e99aba [diff] |
Improve/fix r172 for the scenario of comparing null to null