diff options
author | Robert Sloan <varomodt@gmail.com> | 2016-06-06 11:31:33 -0400 |
---|---|---|
committer | Robert Sloan <varomodt@gmail.com> | 2016-06-06 11:31:33 -0400 |
commit | 938c13966d7db45d2acb08b946003ea87ef42cfd (patch) | |
tree | 3a950b22d96c68acbe63ecddb8283e76d73e9465 /src/Assembly/QhasmEvalCommon.v | |
parent | 44e58f0a06fbbf641dea6615278200411c3658cb (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. |