use dev branch of scuttlebutt

GaloisInc · Jun 21, 2019 · 655db4f · 655db4f
1 parent 5ceb9ca
commit 655db4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -22,7 +22,7 @@ base_conversion = { path = "base_conversion" }
 itertools = "0.8.0"
 rand = "0.6.5"
 regex = "1.1.7"
-scuttlebutt = { git = "https://github.com/GaloisInc/scuttlebutt", tag = "0.3.1" }
+scuttlebutt = { git = "https://github.com/GaloisInc/scuttlebutt", branch = "dev" }
 
 [dev-dependencies]
 criterion = "0.2.11"