diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/VeriFuzz/Mutate.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Mutate.hs b/src/VeriFuzz/Mutate.hs index 21911b6..92910ea 100644 --- a/src/VeriFuzz/Mutate.hs +++ b/src/VeriFuzz/Mutate.hs @@ -220,7 +220,7 @@ simplify e = e -- simplified further. -- -- >>> GenVerilog . removeId ["x"] $ Id "x" + Id "y" --- (x + (-1'h0)) +-- (x + (1'h0)) removeId :: [Identifier] -> Expr -> Expr removeId i = transform trans |