diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-10-31 19:21:05 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-10-31 19:21:05 -0400 |
| commit | b3ca8155f59546e5e36277de08f1eeed1d541598 (patch) | |
| tree | d4dc62179d1464d3b6b7825f92719d6f8be7ae7a /src/core_util.sml | |
| parent | 88e068e1815a30e7b4b1e7e7dc99cf171ab51c59 (diff) | |
Remove spurious failure about reopening database connection
Diffstat (limited to 'src/core_util.sml')
0 files changed, 0 insertions, 0 deletions