diff options
author | Robert Sloan <varomodt@google.com> | 2016-10-26 12:54:48 -0700 |
---|---|---|
committer | Robert Sloan <varomodt@google.com> | 2016-10-26 12:54:48 -0700 |
commit | d8addbb9de2400626f93f64db8483b90071f9e14 (patch) | |
tree | cdcebad0044b8c4ff15e1c7b808a09fcdb579cc6 /src/Assembly/Pipeline.v | |
parent | 58a8ee8caf2879d0f351e916b40b7bee90c8d03d (diff) |
Tactics to manually remove Z.to/of_N and such
Diffstat (limited to 'src/Assembly/Pipeline.v')
-rw-r--r-- | src/Assembly/Pipeline.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Assembly/Pipeline.v b/src/Assembly/Pipeline.v index 8eaa07161..5dc3b28bf 100644 --- a/src/Assembly/Pipeline.v +++ b/src/Assembly/Pipeline.v @@ -138,4 +138,3 @@ Module SimpleExample. Module SimplePipeline := Pipeline SimpleExpression. End SimpleExample. - |