diff options
author | Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:22:16 -0400 |
---|---|---|
committer | Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:22:16 -0400 |
commit | 4d883322317116f4234d02aae1c101f616f564c6 (patch) | |
tree | bbb171b78f34d1363d29437dee66437959035676 /src/Assembly/Pipeline.v | |
parent | ff072622443657c02b37c0bb8d7405ed4830c2c0 (diff) |
Fix build process
Diffstat (limited to 'src/Assembly/Pipeline.v')
-rw-r--r-- | src/Assembly/Pipeline.v | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Assembly/Pipeline.v b/src/Assembly/Pipeline.v index 949bebade..58215cdf2 100644 --- a/src/Assembly/Pipeline.v +++ b/src/Assembly/Pipeline.v @@ -1,10 +1,9 @@ - Require Import QhasmCommon QhasmEvalCommon. Require Import Pseudo Qhasm AlmostQhasm Conversion Language. Require Import PseudoConversion AlmostConversion StringConversion. Module Pipeline. - Export Util AlmostQhasm Qhasm QhasmString. + Export AlmostQhasm Qhasm QhasmString. Export Pseudo. Transparent Pseudo.Program AlmostQhasm.Program Qhasm.Program QhasmString.Program. |