Skip to content

Commit

Permalink
refactor(verification-common): update mod orders
Browse files Browse the repository at this point in the history
  • Loading branch information
rimrakhimov committed Dec 18, 2024
1 parent b4908c8 commit 70d8e96
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions libs/verification-common/src/verifier_alliance/mod.rs
Original file line number Diff line number Diff line change
@@ -1,9 +1,8 @@
mod code_artifact_types;
mod compilation_artifacts;
mod creation_code_artifacts;
mod runtime_code_artifacts;
mod verification_match;

mod code_artifact_types;
mod verification_match_transformations;
mod verification_match_values;

Expand Down

0 comments on commit 70d8e96

Please sign in to comment.