diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-16 23:07:25 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-16 23:07:25 -0400 |
| commit | 55b011d85e1477a5b591fa74cc65316b9a49364e (patch) | |
| tree | 3ab8264137957d251a9a99cdf8eb29c52e12547f /src/Specific | |
| parent | e2956617c26998eaee2d6228eac600f84136c285 (diff) | |
Flip argument order on interp for easier Proper lemmas
Diffstat (limited to 'src/Specific')
| -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. |