Skip to content

Commit

Permalink
fix: fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
FoodChain1028 committed Aug 9, 2024
1 parent 7cbbfb9 commit 175e1f2
Showing 1 changed file with 3 additions and 5 deletions.
8 changes: 3 additions & 5 deletions methods/guest/src/bin/check_policy.rs
Original file line number Diff line number Diff line change
@@ -1,12 +1,10 @@
use std::io::Read;
use alloy_primitives::U256;
use alloy_sol_types::SolValue;
use risc0_zkvm::guest::env;
use rabe::utils::policy::pest::{parse, PolicyLanguage::JsonPolicy, PolicyType};
use rabe::utils::tools::traverse_policy;
use rabe::utils::policy::pest::{
parse, PolicyLanguage::JsonPolicy, PolicyType,
};
use risc0_zkvm::guest::env;
use serde_json;
use std::io::Read;

fn extract_attribute_names(attrs: &serde_json::Value) -> Vec<String> {
attrs
Expand Down

0 comments on commit 175e1f2

Please sign in to comment.