diff options
author | 2016-06-22 19:38:20 -0400 | |
---|---|---|
committer | 2016-06-22 19:38:20 -0400 | |
commit | 5cb07f239f82528ba5422556f59294511326c2ad (patch) | |
tree | b481712e4aa71a412ff1aec0f0b37bb51c09375d /src/Assembly/Pipeline.v | |
parent | 7df5ed48ce1e16eebd4ec4cac9f057c65d40ae78 (diff) |
Make Assembly modules 8.5-compatible
Diffstat (limited to 'src/Assembly/Pipeline.v')
-rw-r--r-- | src/Assembly/Pipeline.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Assembly/Pipeline.v b/src/Assembly/Pipeline.v index 58215cdf2..ba76f3585 100644 --- a/src/Assembly/Pipeline.v +++ b/src/Assembly/Pipeline.v @@ -25,4 +25,6 @@ Module PipelineExample. Program Definition asdf: Program Unary32 := ($0 :+: $0)%p. Definition exStr := Pipeline.toString asdf. + + (* Eval vm_compute in exStr. *) End PipelineExample. |