From 4d1efed4ddc19b5394b6ba8b0c6366521f38114b Mon Sep 17 00:00:00 2001
From: Yann Herklotz Grave <git@yannherklotzgrave.com>
Date: Mon, 11 Feb 2019 21:48:58 +0000
Subject: Fix versions and tests

---
 src/VeriFuzz/Mutate.hs | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src')

diff --git a/src/VeriFuzz/Mutate.hs b/src/VeriFuzz/Mutate.hs
index 61fdd7a..d012358 100644
--- a/src/VeriFuzz/Mutate.hs
+++ b/src/VeriFuzz/Mutate.hs
@@ -218,10 +218,6 @@ simplify e                               = e
 --
 -- >>> GenVerilog . removeId ["x"] $ Id "x" + Id "y"
 -- (x + (-1'h0))
---
--- This can be combined with 'simplify' to completely remove an identifier.
---
--- >>> GenVerilog . simplify . removeId ["z"] $ Id "x" + Id "y" - Id "z"
 removeId :: [Identifier] -> Expr -> Expr
 removeId i expr =
   transform trans expr
-- 
cgit