Relax assert

ushitora-anqou · Sep 29, 2023 · ffedddf · ffedddf
1 parent 5fb115f
commit ffedddf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/verifier.ml b/lib/verifier.ml
@@ -51,6 +51,7 @@ let verify_notes ?(print = true) pool notes =
            | Assert sql -> (
                match Datastore.(query (prepare con sql) []) with
                | Error msg -> failwithf "Error !assert: %s\n" msg
+               | Ok [] | Ok [ [ Null ] ] -> ()
                | Ok [ [ Int s ] ] ->
                    if s = 1 then () else failwithf "Assertion failed: %s" sql
                | _ -> failwith "Error !assert: invalid result"));