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