From ce0103c04fd775b34f1025b8341b1f0e8763a07e Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Wed, 2 Apr 2025 23:11:40 +0200
Subject: [PATCH] find_morphism_path(): always advance with direct morph, even
if complex decomposition from goal exists
---
src/morphism_path_sugared.rs | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/morphism_path_sugared.rs b/src/morphism_path_sugared.rs
index d6a6841..3f6fe77 100644
--- a/src/morphism_path_sugared.rs
+++ b/src/morphism_path_sugared.rs
@@ -91,10 +91,10 @@ impl<'a, M:SugaredMorphism+Clone> SugaredShortestPathProblem<'a, M> {
self.morphism_base.complex_morphism_decomposition( &cur_path.cur_type, &self.goal )
{
self.advance(&cur_path, complex_morph);
- } else {
- for next_morph_inst in self.morphism_base.enum_morphisms_from(&cur_path.cur_type) {
- self.advance(&cur_path, next_morph_inst);
- }
+ }
+
+ for next_morph_inst in self.morphism_base.enum_morphisms_from(&cur_path.cur_type) {
+ self.advance(&cur_path, next_morph_inst);
}
}
}