diff options
| author | 2021-08-08 23:25:29 -0400 | |
|---|---|---|
| committer | 2021-08-08 23:33:16 -0400 | |
| commit | f0d3f226e6555eed7c65a93db7cf5bc335762bbe (patch) | |
| tree | ec911b17e92da89d38f541f1f6ef91531c9ff91e /makedb.ml | |
| parent | makedb: add cache table (diff) | |
makedb: finalize stmt
Diffstat (limited to 'makedb.ml')
| -rw-r--r-- | makedb.ml | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -52,5 +52,7 @@ let makedb db json = let open Sqlite3 in let open Yojson.Basic.Util in let access_data x = x |> member "Cell" |> to_list |> filter_string |> List.iteri prep; allstep stmt - in json |> member "Table" |> member "Row" |> to_list - |> List.iter access_data + in + json |> member "Table" |> member "Row" |> to_list + |> List.iter access_data; + finalize stmt |> Rc.check |
