From b18e577b674576036e868392fad539ab0344ef37 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Meike=20Wei=C3=9F?= Date: Thu, 12 Sep 2024 11:29:44 +0200 Subject: [PATCH] bugfix --- gap/Paths/paths.gi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gap/Paths/paths.gi b/gap/Paths/paths.gi index 21cf374b..9f3aec5c 100644 --- a/gap/Paths/paths.gi +++ b/gap/Paths/paths.gi @@ -647,7 +647,7 @@ InstallMethod( EdgeFacePathByFaces, local i; __SIMPLICIAL_CheckEdge(complex, firstEdge, "EdgeFacePathByFaces"); - __SIMPLICIAL_CheckFace(complex, lastEdge, "EdgeFacePathByFaces"); + __SIMPLICIAL_CheckEdge(complex, lastEdge, "EdgeFacePathByFaces"); if Length(faceList) > 0 then __SIMPLICIAL_CheckFace(complex, faceList[1], "EdgeFacePathByFaces"); for i in [2..Length(faceList)] do