Removed more new_ (#1200)

This commit is contained in:
Dominik Maier 2023-04-07 02:34:28 +02:00 committed by GitHub
parent 0f633962ff
commit f73e2006fc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -35,7 +35,7 @@ pub fn main() -> Result<(), Error> {
let observer = let observer =
unsafe { StdMapObserver::from_mut_ptr("signals", SIGNALS.as_mut_ptr(), SIGNALS.len()) }; unsafe { StdMapObserver::from_mut_ptr("signals", SIGNALS.as_mut_ptr(), SIGNALS.len()) };
let factory = MapEqualityFactory::new_from_observer(&observer); let factory = MapEqualityFactory::with_observer(&observer);
// Feedback to rate the interestingness of an input // Feedback to rate the interestingness of an input
let mut feedback = MaxMapFeedback::new(&observer); let mut feedback = MaxMapFeedback::new(&observer);

View File

@ -373,7 +373,7 @@ where
M: MapObserver, M: MapObserver,
{ {
/// Creates a new map equality feedback for the given observer /// Creates a new map equality feedback for the given observer
pub fn new_from_observer(obs: &M) -> Self { pub fn with_observer(obs: &M) -> Self {
Self { Self {
obs_name: obs.name().to_string(), obs_name: obs.name().to_string(),
phantom: PhantomData, phantom: PhantomData,