diff options
| -rw-r--r-- | src/Compiler.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Compiler.v b/src/Compiler.v index 513b5fa..546ba87 100644 --- a/src/Compiler.v +++ b/src/Compiler.v @@ -80,7 +80,7 @@ Definition transf_backend (r : RTL.program) : res Verilog.program := @@ Tailcall.transf_program @@@ Inlining.transf_program @@ Renumber.transf_program - @@ Constprop.transf_program + (* @@ Constprop.transf_program *) @@ Renumber.transf_program @@@ CSE.transf_program @@@ Deadcode.transf_program |