diff options
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 |