diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-05-25 10:02:50 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-05-25 10:02:50 -0500 |
| commit | fc3e04ce1080f713ae9791edf69ecf4b0412f2a1 (patch) | |
| tree | 3b92f37f7be5033db8a0b239d462dae115ce505d /contrib | |
| parent | b28221be79a70909ca94083334027ee3cb361d85 (diff) | |
Minor fix for quantifier skolems
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 b712fb616..45b7c5bdd 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="8af7969c0a8eb7f368536368a3024675eb7c840c" +sig_version="abe088356da2ddc795cb880d804223e2be8c0fca" 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 |