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 /src/Assembly/Pseudo.v | |
| parent | a9a75f951aa18410694dbcb0b148c0aca9e6eab6 (diff) | |
Add Language.v, Conversion.v to _CoqProject
Diffstat (limited to 'src/Assembly/Pseudo.v')
| -rw-r--r-- | src/Assembly/Pseudo.v | 2 |
1 files changed, 1 insertions, 1 deletions
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. |