From 75a909badfa5396204d31243d94a2db614a2a024 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Grave Date: Sat, 16 Feb 2019 22:23:35 +0000 Subject: Fix example in documentation --- src/VeriFuzz/Mutate.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/VeriFuzz/Mutate.hs') 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 -- cgit