diff options
Diffstat (limited to 'src/Assembly/QhasmEvalCommon.v')
| -rw-r--r-- | src/Assembly/QhasmEvalCommon.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Assembly/QhasmEvalCommon.v b/src/Assembly/QhasmEvalCommon.v index b12e27e19..566d7b892 100644 --- a/src/Assembly/QhasmEvalCommon.v +++ b/src/Assembly/QhasmEvalCommon.v @@ -88,7 +88,7 @@ Module EvalUtil. (* Mapping Conversions *) Definition wordToM {n: nat} {spec: Width n} (w: word n): Mapping n := - constM _ (const spec w). + constM _ (constant spec w). Definition regToM {n: nat} {spec: Width n} (r: Reg n): Mapping n := regM _ r. |