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 e28196f43..49d7a2b87 100644 --- a/src/Specific/FancyMachine256/Core.v +++ b/src/Specific/FancyMachine256/Core.v @@ -243,7 +243,7 @@ Section assemble. Definition DefaultAssembleSyntax {t} e := @AssembleSyntax t e (DefaultRegisters e). Definition Interp {t} e v - := invert_Some (@Named.interp base_type interp_base_type op Register RegisterContext interp_op empty t e v). + := invert_Some (@Named.Interp base_type interp_base_type op Register RegisterContext interp_op t e v). End assemble. Export Compilers.Named.Syntax. |