Misplaced apostrophe
@@ -88,7 +88,7 @@ Importantly, we measure both running time,
We also measured running time,
number of rules learned,
and number of e-classes in the egraph with and without
- invoking `run_rewrites` (`Figure 4, Line 9`) to study it's effect.
+ invoking `run_rewrites` (`Figure 4, Line 9`) to study its effect.
The results are shown in `Figure 9b` for `bv4`, `bv32`, and `rationals`.
- Validation Analysis (`Section 6.2`): We compared different
