diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-07-17 13:19:41 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-07-17 13:19:41 -0400 |
| commit | b692b13c1ed9b5e188824571bd0c450e03d2da55 (patch) | |
| tree | 27ec954389b269ea93c90ed52b48c24a662a630b /demo/buffer.urs | |
| parent | ed6d1a7b126f5140f6c0821db4289b19ee76ca8d (diff) | |
Avoid preparing the same statement twice
Diffstat (limited to 'demo/buffer.urs')
0 files changed, 0 insertions, 0 deletions