diff options
Diffstat (limited to 'src/Compilers/Z/Bounds/Pipeline/Definition.v')
-rw-r--r-- | src/Compilers/Z/Bounds/Pipeline/Definition.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Compilers/Z/Bounds/Pipeline/Definition.v b/src/Compilers/Z/Bounds/Pipeline/Definition.v index 675c4d2d0..e7c267d65 100644 --- a/src/Compilers/Z/Bounds/Pipeline/Definition.v +++ b/src/Compilers/Z/Bounds/Pipeline/Definition.v @@ -89,7 +89,7 @@ Definition PostWfPipeline let e := SimplifyArith e in let e := InlineConst e in let e := SimplifyArith e in - let e := if opts.(anormal) then ANormal e else e in + let e := if opts.(anf) then ANormal e else e in let e := InlineConst e in (*let e := CSE false e in*) let e := MapCast _ e input_bounds in |