fix

leanprover-community · Oct 21, 2024 · 5632ca0 · 5632ca0
1 parent 9a43f11
commit 5632ca0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ProofWidgets/Demos/InteractiveSvg.lean b/ProofWidgets/Demos/InteractiveSvg.lean
@@ -33,7 +33,7 @@ def isvg : InteractiveSvg State where
             ]
           | _, _ => #[]
         let circles := (state.mapIdx fun idx (p : Float × Float) =>
-              Svg.circle p (.abs 0.2) |>.setFill (0.7,0.7,0.7) |>.setId s!"circle{idx}" |>.setData idx.1
+              Svg.circle p (.abs 0.2) |>.setFill (0.7,0.7,0.7) |>.setId s!"circle{idx}" |>.setData idx
             )
         mousePointer.append circles
     }