Small style fix.

Vytautas Astrauskas · Vytautas Astrauskas · commit 3bb16574486e · 2020-04-27T14:26:36.000-07:00
diff --git a/src/machine.rs b/src/machine.rs
@@ -282,7 +282,7 @@ impl<'mir, 'tcx> Evaluator<'mir, 'tcx> {
             panic_payload: None,
             time_anchor: Instant::now(),
             layouts,
-            threads: Default::default(),
+            threads: ThreadManager::default(),
         }
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -282,7 +282,7 @@ impl<'mir, 'tcx> Evaluator<'mir, 'tcx> {`
`282`	`282`	`panic_payload: None,`
`283`	`283`	`time_anchor: Instant::now(),`
`284`	`284`	`layouts,`
`285`		`- threads: Default::default(),`
	`285`	`+ threads: ThreadManager::default(),`
`286`	`286`	`}`
`287`	`287`	`}`
`288`	`288`	`}`