nit

egraphs-good · Sep 8, 2023 · 289dce3 · 289dce3
1 parent ece10b3
commit 289dce3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/gj.rs b/src/gj.rs
@@ -623,7 +623,7 @@ impl EGraph {
     fn gj_for_atom<F>(
         &self,
         atom_i: usize,
-        timestamp_ranges: &Vec<Range<u32>>,
+        timestamp_ranges: &[Range<u32>],
         cq: &CompiledQuery,
         mut f: F,
     ) where