Add MaybePar bound to RewriteScheduler

egraphs-good · Aug 30, 2024 · a542d71 · a542d71
1 parent df3b70a
commit a542d71
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/run.rs b/src/run.rs
@@ -728,7 +728,7 @@ the [`EGraph`] and dominating how much time is spent while running the
 
 */
 #[allow(unused_variables)]
-pub trait RewriteScheduler<L, N>: Sync
+pub trait RewriteScheduler<L, N>: MaybePar
 where
     L: Language,
     N: Analysis<L>,