diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-05-24 18:18:21 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-05-24 18:18:21 -0500 |
commit | 3f69258d30268f80a4db9485c9082ac1f9738db7 (patch) | |
tree | 41252614a6d0eb08b44a63b55321519286cf93bf /contrib | |
parent | 946d05d3e369e5fb2cba95887c09ccc02a3a3bcf (diff) |
Fix LFSC for nested skolems in purification
Diffstat (limited to 'contrib')
-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 6d24a923a..eac608fbc 100755 --- a/contrib/get-lfsc-checker +++ b/contrib/get-lfsc-checker @@ -40,7 +40,7 @@ SIG_DIR="$BASE_DIR/lfsc-signatures" mkdir -p $SIG_DIR # download and unpack signatures -sig_version="291f8bbb4e522275329ccf09bf21954d2f98a091" +sig_version="c5772b8a821f3c4fe0fcbc518cb9d03a5535718b" download "https://github.com/CVC4/signatures/archive/$sig_version.tar.gz" $BASE_DIR/tmp/signatures.tgz tar --strip 1 -xzf $BASE_DIR/tmp/signatures.tgz -C $SIG_DIR |