diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-01-07 09:25:13 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-01-07 09:25:13 -0500 |
| commit | 20a175809da5adf75908e0d6fef51738e6d0363c (patch) | |
| tree | b5d0772c9e5df9006b1929f81ba46b1f7422314b /src/elab.sml | |
| parent | c61f4d898627f5b840ed5069b952c1647aa169dc (diff) | |
Fix arguments to PQprepare()
Diffstat (limited to 'src/elab.sml')
0 files changed, 0 insertions, 0 deletions