| 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