Commit 4666118

committed

Apply new hlint suggestions

1 parent bcb605b commit 4666118Copy full SHA for 4666118

6 files changed

+0

-2437

lines changed

kore
- src/Kore
  - Exec.hs
  - Log
    - KoreLogOptions.hs
  - Validate
    - PatternVerifier.hs
- test/Test
  - Data
    - Sup.hs
  - Kore/Attribute/Axiom
    - Concrete.hs
    - Symbolic.hs

6 files changed

+0

-2437

lines changed

Comments

(0)