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 | |
| parent | a9a75f951aa18410694dbcb0b148c0aca9e6eab6 (diff) | |
Add Language.v, Conversion.v to _CoqProject
| -rw-r--r-- | _CoqProject | 2 | ||||
| -rw-r--r-- | src/Assembly/Pseudo.v | 2 |
2 files changed, 3 insertions, 1 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 diff --git a/src/Assembly/Pseudo.v b/src/Assembly/Pseudo.v index 5d0b2afa4..e3f1e63ff 100644 --- a/src/Assembly/Pseudo.v +++ b/src/Assembly/Pseudo.v @@ -1,6 +1,6 @@ Require Import QhasmCommon QhasmUtil State. Require Import Language QhasmEvalCommon. -Require Import List Compare_dec PeanoNat Omega. +Require Import List Compare_dec Omega. Module Pseudo <: Language. Import EvalUtil ListState. |