diff options
author | Robert Sloan <varomodt@gmail.com> | 2016-06-23 17:45:53 -0400 |
---|---|---|
committer | Robert Sloan <varomodt@gmail.com> | 2016-06-23 17:45:53 -0400 |
commit | 946ec0e173c467d43ba57748d2a59feb95d7d445 (patch) | |
tree | 8b2e3913209bfc84dc10e09932ef169030eb58ec /_CoqProject | |
parent | a9a75f951aa18410694dbcb0b148c0aca9e6eab6 (diff) |
Add Language.v, Conversion.v to _CoqProject
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index a8e3d66ff..79751c731 100644 --- a/_CoqProject +++ b/_CoqProject @@ -46,6 +46,8 @@ src/Util/Tactics.v src/Util/Tuple.v src/Util/WordUtil.v src/Util/ZUtil.v +src/Assembly/Language.v +src/Assembly/Conversion.v src/Assembly/QhasmCommon.v src/Assembly/QhasmUtil.v src/Assembly/State.v |