mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-29 00:59:09 +03:00
Fix typo in module header description.
This commit is contained in:
parent
b2d955cb3e
commit
1e3fad7d77
@ -2,7 +2,7 @@
|
||||
Copyright : (c) Galois, Inc 2017
|
||||
Maintainer : Joe Hendrix <jhendrix@galois.com>
|
||||
|
||||
This exports the pre-clasisification term statement and block data
|
||||
This exports the pre-classification term statement and block data
|
||||
types.
|
||||
-}
|
||||
{-# LANGUAGE FlexibleContexts #-}
|
||||
|
Loading…
Reference in New Issue
Block a user