Skip to content

Commit

Permalink
typo
Browse files Browse the repository at this point in the history
  • Loading branch information
Nadrieril committed Sep 17, 2024
1 parent a493dae commit 5b6192c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion web/src/components/Solver.jsx
Original file line number Diff line number Diff line change
Expand Up @@ -235,7 +235,7 @@ export function JointRulesDisplay({optionsLeft, optionsRight, style}) {
export function CompareDisplay({sp, optionsLeft, optionsRight, setInputQuery, setMode}) {
const [patDepth, setPatDepth] = useStateInParams(sp, 'pat_d', 3, parseInt);
const [tyDepth, setTyDepth] = useStateInParams(sp, 'ty_d', 4, parseInt);
const [showCompare, setShowCompare] = useStateInParams(sp, 'do_cmp', false, x == 'true');
const [showCompare, setShowCompare] = useStateInParams(sp, 'do_cmp', false, (x) => x == 'true');
// The input used in the last computation.
const [compareInput, setCompareInput] = useState(null);
// The output of the last computation.
Expand Down

0 comments on commit 5b6192c

Please sign in to comment.