Merge branch 'Ultimaker:main' into master

This commit is contained in:
Anson Liu 2022-08-19 09:43:31 -04:00 committed by GitHub
commit 9cdee63483
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
14 changed files with 311 additions and 59 deletions

View file

@ -432,7 +432,7 @@ class Stretcher:
"""
dist_palp = self.line_width # Palpation distance to seek for a wall
mrot = np.array([[0, -1], [1, 0]]) # Rotation matrix for a quarter turn
for i in range(len(orig_seq)):
for i, _ in enumerate(orig_seq):
ibeg = i # Index of the first point of the segment
iend = i + 1 # Index of the last point of the segment
if iend == len(orig_seq):