Skip to content

Commit

Permalink
Update btor2tools
Browse files Browse the repository at this point in the history
  • Loading branch information
@CyanoKobalamyne
CyanoKobalamyne committed Aug 1, 2024
1 parent 3b3435e commit 8bd3207
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion contrib/setup-btor2tools.sh
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#!/bin/bash
set -e

BTOR2TOOLS_VERSION=8775f9ad9caed51d3daa30a416b1a94dfec532b0
BTOR2TOOLS_VERSION=ff44a21e113667f4cb27dbf96ee46b95c612caf9

DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
DEPS=$DIR/../deps
Expand Down

0 comments on commit 8bd3207

Please sign in to comment.