Minor comment changes

This commit is contained in:
Joe Hendrix 2017-01-04 23:08:52 -08:00
parent bfcee99d58
commit 53bca3285a
No known key found for this signature in database
GPG Key ID: 00F67DE32381DB9F

View File

@ -1,10 +1,11 @@
{-| {-|
Module : Data.Macaw.CFG
Copyright : (c) Galois, Inc 2015-2016 Copyright : (c) Galois, Inc 2015-2016
Maintainer : Joe Hendrix <jhendrix@galois.com> Maintainer : Joe Hendrix <jhendrix@galois.com>
Defines data types needed to represent control flow graphs from Defines data types needed to represent control flow graphs from machine code.
machine code.
This is a low-level CFG representation where the entire program is a single CFG.
-} -}
{-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-} {-# LANGUAGE DataKinds #-}