Merge pull request #1855 from GaloisInc/T1854

Fix the build with `alex-3.2.7.2`
GaloisInc · Apr 13, 2023 · 239c500 · 239c500
2 parents e099af5 + 72c6976
commit 239c500
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/saw-core/src/Verifier/SAW/Lexer.x b/saw-core/src/Verifier/SAW/Lexer.x
@@ -2,6 +2,7 @@
 {-# LANGUAGE BangPatterns #-}
 {-# LANGUAGE DeriveFunctor #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
+{-# LANGUAGE PatternGuards #-}
 {-# LANGUAGE ViewPatterns #-}
 
 {-# OPTIONS_GHC -fno-warn-missing-signatures #-}