aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Verilog/Mutate.hs
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2019-01-01 14:48:54 +0100
committerYann Herklotz <ymherklotz@gmail.com>2019-01-01 14:48:54 +0100
commitfd2963cae60c87aa3bcf382829cb7c44e6e0c2ae (patch)
treefdb170affd1b7f727ca057587f01850729a36fd8 /src/Test/VeriFuzz/Verilog/Mutate.hs
parent99d2932e1b4357f4e0aa303a29d08bfd81977a9e (diff)
downloadverismith-fd2963cae60c87aa3bcf382829cb7c44e6e0c2ae.tar.gz
verismith-fd2963cae60c87aa3bcf382829cb7c44e6e0c2ae.zip
Fix linting warnings
Diffstat (limited to 'src/Test/VeriFuzz/Verilog/Mutate.hs')
-rw-r--r--src/Test/VeriFuzz/Verilog/Mutate.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Test/VeriFuzz/Verilog/Mutate.hs b/src/Test/VeriFuzz/Verilog/Mutate.hs
index b22fc2c..ab9f0ac 100644
--- a/src/Test/VeriFuzz/Verilog/Mutate.hs
+++ b/src/Test/VeriFuzz/Verilog/Mutate.hs
@@ -33,7 +33,7 @@ findAssign id items =
safe last . catMaybes $ isAssign <$> items
where
isAssign (ModCA (ContAssign val expr))
- | val == id = Just $ expr
+ | val == id = Just expr
| otherwise = Nothing
isAssign _ = Nothing
@@ -43,7 +43,7 @@ findAssign id items =
idTrans :: Identifier -> Expr -> Expr -> Expr
idTrans i expr (Id id)
| id == i = expr
- | otherwise = (Id id)
+ | otherwise = Id id
idTrans _ _ e = e
-- | Replaces the identifier recursively in an expression.