GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-27 12:52:52 +03:00
Code Issues Projects Releases Wiki Activity

Remove another piece of commented-out code

Browse Source
This commit is contained in:
Tristan Ravitch 2017-11-06 10:15:18 -08:00
parent 15b3ba466d
commit 4e1db21b08
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
macaw-ppc/src/Data/Macaw/PPC/Generator.hs
View File

@ -79,7 +79,6 @@ data GenResult ppc ids =
data Expr ppc ids tp where
ValueExpr :: !(Value ppc ids tp) -> Expr ppc ids tp
-- AppExpr :: !(App (Value ppc s) tp) -> Expr ppc s tp
AppExpr :: !(App (Value ppc ids) tp) -> Expr ppc ids tp
------------------------------------------------------------------------
-- BlockSeq