diff options
Diffstat (limited to 'src/Specific/FancyMachine256/Core.v')
| -rw-r--r-- | src/Specific/FancyMachine256/Core.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/FancyMachine256/Core.v b/src/Specific/FancyMachine256/Core.v index cd54402ea..e28196f43 100644 --- a/src/Specific/FancyMachine256/Core.v +++ b/src/Specific/FancyMachine256/Core.v @@ -228,7 +228,7 @@ Section assemble. Definition AssembleSyntax' {t} (e : Expr base_type op t) (ls : list Register) : option (syntax t) - := CompileAndEliminateDeadCode (Context:=RegisterContext) e ls. + := CompileAndEliminateDeadCode (base_type_code_bl:=internal_base_type_dec_bl) (Context:=RegisterContext) e ls. Definition AssembleSyntax {t} e ls (res := @AssembleSyntax' t e ls) := match res return match res with None => _ | _ => _ end with | Some v => v |