all name changes

This commit is contained in:
2022-11-20 19:54:14 +01:00
parent 0b591773f5
commit 6385a65c4f
19 changed files with 81 additions and 81 deletions

View File

@ -1,5 +1,5 @@
use fsrc_core::pool::{LocalPool, PoolCfg, PoolProvider, SharedPool};
use fsrc_core::pus::verification::{
use satrs_core::pool::{LocalPool, PoolCfg, PoolProvider, SharedPool};
use satrs_core::pus::verification::{
CrossbeamVerifSender, FailParams, RequestId, VerificationReporterCfg,
VerificationReporterWithSender,
};