diff --git a/web/src/components/Solver.jsx b/web/src/components/Solver.jsx
index 3847892..b882f03 100644
--- a/web/src/components/Solver.jsx
+++ b/web/src/components/Solver.jsx
@@ -100,7 +100,7 @@ export function Help({show, setShow, style}) {
const availableStyles = ['UserVisible', 'InMemory', 'Let'];
-export function MainNavBar({compare, setCompare, style, setStyleName, styleMap}) {
+export function MainNavBar({compare, setCompare, style, setStyleName, styleMap, swapRulesets}) {
const navigate = useNavigate()
const [searchParams, setSearchParams] = useSearchParams();
function resetSearchParams() {
@@ -164,6 +164,12 @@ export function MainNavBar({compare, setCompare, style, setStyleName, styleMap})
onClick={() => setCompare(!compare)}
>Compare
+ { compare ?
+