hole-repair-20191117: fix

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/hole-repair-20191117.scad b/hole-repair-20191117.scad
index e2d7c7393c1905ef2d339a65cc91d933ed503b1c..f964a5261817f60216db76a2e4bd3b653783e753 100644 (file)
--- a/hole-repair-20191117.scad
+++ b/hole-repair-20191117.scad
@@ -15,10 +15,10 @@ $fa=1;
 $fs=1;
 
 module Profile(r) {
-  polygon([ [0,        0],
-           [maj_r,    0],
-           [maj_r-th, th],
-           [0,        th] ]);
+  polygon([ [0,    0],
+           [r,    0],
+           [r-th, th],
+           [0,    th] ]);
 }
 
 module Body(){