diff options
Diffstat (limited to 'contrib/get-lfsc-checker')
| -rwxr-xr-x | contrib/get-lfsc-checker | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/get-lfsc-checker b/contrib/get-lfsc-checker index 0db781b4a..01a49127b 100755 --- a/contrib/get-lfsc-checker +++ b/contrib/get-lfsc-checker @@ -3,7 +3,7 @@ source "$(dirname "$0")/get-script-header.sh" LFSC_DIR="$DEPS_DIR/lfsc-checker" -version="master" +version="61ef1dc55d2bc909656f905699b28c99ddcfc518" setup_dep "https://github.com/CVC4/LFSC/archive/$version.tar.gz" "$LFSC_DIR" cd "$LFSC_DIR" |