2x perf boost from updated library

Changes

1 changed files (+2/-2)

• Cargo.lock
  • @@ -23,7 +23,7 @@
    [[package]] name = "dafny_runtime" version = "0.1.0" - source = "git+https://git.unnamed.website/sdc#30cdbd77a30aed8d7c454489d70014b24a89d23c" + source = "git+https://git.unnamed.website/sdc#95d37e5db18fe983832210da9a371d49e8a2f229" dependencies = [ "itertools", "num",
  • @@ -51,7 +51,7 @@
    [[package]] name = "fenwick" version = "0.1.0" - source = "git+https://git.unnamed.website/sdc#30cdbd77a30aed8d7c454489d70014b24a89d23c" + source = "git+https://git.unnamed.website/sdc#95d37e5db18fe983832210da9a371d49e8a2f229" dependencies = [ "dafny_runtime", ]