diff options
author | Robert Sloan <varomodt@gmail.com> | 2016-06-06 11:31:33 -0400 |
---|---|---|
committer | Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:43:38 -0400 |
commit | 9ed91fb68aaf520b28e01c46aeddc33573677668 (patch) | |
tree | 24053f820aed9dcd41aef48e8e59d646ceaa162f /src/Assembly/QhasmEvalCommon.v | |
parent | 8f2241042d26d94b138a6f2a51287dae413b7ec2 (diff) |
Full pipeline working again
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. |