diff options
| author |  Peter McGoron
| 2021-08-08 23:29:37 -0400 |
|---|---|---|
| committer | Peter McGoron
| 2021-08-08 23:33:17 -0400 |
| commit | 61736756776206bd5f17a4827687630ee928417a (patch) | |
| tree | d1a6fcc3d0013f1692ec9d828e36bac61334e587 /dune | |
| parent | makedb: finalize stmt (diff) | |
makedb: make cached automaton
Diffstat (limited to 'dune')
| -rw-r--r-- | dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ (executable (name elements) (modules Elements Makedb) - (libraries sqlite3 yojson) + (libraries sqlite3 yojson batch_jaro_winkler) ) |