mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
Suppress clippy unused warning (#269)
The field will be used later. Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
This commit is contained in:
committed by
GitHub
parent
df98c8d168
commit
45627aa64a
@@ -387,6 +387,7 @@ pub struct Analyzer {
|
||||
|
||||
#[derive(Debug, Clone)]
|
||||
pub struct Schedule {
|
||||
#[allow(unused)]
|
||||
pub scopes: BTreeMap<Ref<Query>, Scope>,
|
||||
pub order: BTreeMap<Ref<Query>, Vec<u16>>,
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user