2x perf boost from updated libraryHEADmaster

1 files changed, 2 insertions, 2 deletions

diff --git a/Cargo.lock b/Cargo.lock
index 2167a00..e3a8448 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -23,7 +23,7 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
 [[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 @@ checksum = "7360491ce676a36bf9bb3c56c1aa791658183a54d2744120f27285738d90465a"
 [[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",
 ]