Fix compilation warning in test.

GaloisInc · Feb 8, 2021 · c59b6a6 · c59b6a6
1 parent 36064a6
commit c59b6a6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -14,3 +14,5 @@ cabal.project.local
 *.tix
 .ghc.environment.*
 *~
+_darcs
+.boring
diff --git a/crux-llvm/test/Test.hs b/crux-llvm/test/Test.hs
@@ -259,7 +259,7 @@ mkTest clangVer sweet _ expct =
  let specMatchesInstalled v =
  or [ v == vcTag clangVer
  , and [ v == "pre-clang11"
- , vcMajor clangVer `elem` (show <$> [3..10])
+ , vcMajor clangVer `elem` (show <$> [3..10 :: Int])
  ]
  ]
  in case lookup "clang-range" (TS.expParamsMatch expct) of