Add Grammar.y and Lexer.x to extra-source-files section in cabal file
Add Grammar.y and Lexer.x to extra-source-files section in cabal file

Otherwise stack doesn't know to rebuild when these files change.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script