Merge branch 'master' into heapster/rust-option-optimization

GaloisInc · Apr 14, 2022 · 356d211 · 356d211
2 parents 764a6ec + 8baac1f
commit 356d211
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml
@@ -14,7 +14,7 @@ include = [
 python = "^3.8"
 requests = "^2.25.1"
 BitVector = "^3.4.9"
-cryptol = "2.12.2" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
+cryptol = "2.12.4" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
 argo-client = "0.0.10"
 
 [tool.poetry.dev-dependencies]