diff options
| author | David Aspinall | 2010-08-18 14:15:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-18 14:15:55 +0000 |
| commit | 12f2bddc02455d4dac4973d6dd9312c2e667ef24 (patch) | |
| tree | 8df20b6c7e2bd56c46c5ac760e7dcaff298cc1f3 /isar | |
| parent | d5a97d6d1518a7c0ff6c49b82e2f123297df57c5 (diff) | |
proof-debug advice: Fix passing format arg
Diffstat (limited to 'isar')
0 files changed, 0 insertions, 0 deletions