Enable simplify-implication integration test

runtimeverification · Aug 9, 2023 · 8af8b5b · 8af8b5b
1 parent 0b8c2dc
commit 8af8b5b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/hlint.sh b/scripts/hlint.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 set -euxo pipefail
-expected_hlint_version=v3.4.1
+expected_hlint_version=v3.6
 hlint=${HLINT:-$(which hlint)} || { echo 'No hlint!' ; exit 1 ; }
 hlint_version=$(${hlint} --version | head -n1 | cut --field=1 --delimiter=',' | cut --field=2 --delimiter=' ')
 [[ ${hlint_version} == ${expected_hlint_version} ]] || { echo "Unexpected hlint version, got ${hlint_version}, expected ${expected_hlint_version}" ; exit 1 ; }