diff options
Diffstat (limited to 'src/Assembly/Qhasm.v')
-rw-r--r-- | src/Assembly/Qhasm.v | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/Assembly/Qhasm.v b/src/Assembly/Qhasm.v index 9ba2c0a56..0d4e06a85 100644 --- a/src/Assembly/Qhasm.v +++ b/src/Assembly/Qhasm.v @@ -1,6 +1,6 @@ -Require Import QhasmCommon QhasmEvalCommon. -Require Import Language. -Require Import List NPeano. +Require Import Crypto.Assembly.QhasmCommon Crypto.Assembly.QhasmEvalCommon. +Require Import Crypto.Assembly.Language. +Require Import Coq.Lists.List Coq.Numbers.Natural.Peano.NPeano. Module Qhasm <: Language. Import ListNotations. @@ -84,4 +84,3 @@ Module Qhasm <: Language. (* world peace *) End Qhasm. - |