diff options
| author | David Aspinall | 2010-09-21 13:12:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-21 13:12:39 +0000 |
| commit | feaaf63b8465bce6fcfb3cae6c0e678d77851516 (patch) | |
| tree | 33fd3879f31c7f147b66491a3b20436407d46ce0 /pgshell/example.pgsh | |
| parent | 5bf9c024742e232774b3e4b5f74af29f38a46d4a (diff) | |
proof-deftoggle: add declare-function to prevent compiler warnings
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions