From cf6b773c42b3352bce759746f6f6b7487a0ae3bd Mon Sep 17 00:00:00 2001 From: elvis Date: Sat, 15 Nov 2025 19:18:58 +0100 Subject: [PATCH] fix typo --- reaction_systems_gui/src/app_logic.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/reaction_systems_gui/src/app_logic.rs b/reaction_systems_gui/src/app_logic.rs index 2cdef34..e60e0ff 100644 --- a/reaction_systems_gui/src/app_logic.rs +++ b/reaction_systems_gui/src/app_logic.rs @@ -779,7 +779,7 @@ fn process_template( | Err(e) => anyhow::bail!(e), }; - let l = bisimilarity::bisimilarity_paige_tarkan::bisimilarity_ignore_labels(&&graph_1, &&graph_2); + let l = bisimilarity::bisimilarity_paige_tarjan::bisimilarity_ignore_labels(&&graph_1, &&graph_2); let res = BasicValue::String { value: format!("{l}"), }; @@ -817,7 +817,7 @@ fn process_template( }; let l = - bisimilarity::bisimilarity_paige_tarkan::bisimilarity( + bisimilarity::bisimilarity_paige_tarjan::bisimilarity( &&graph_1, &&graph_2, ); let res = BasicValue::String { @@ -2337,7 +2337,7 @@ fn process_template( | Err(e) => anyhow::bail!(e), }; - let l = bisimilarity::bisimilarity_paige_tarkan::bisimilarity_ignore_labels(&&graph_1, &&graph_2); + let l = bisimilarity::bisimilarity_paige_tarjan::bisimilarity_ignore_labels(&&graph_1, &&graph_2); let res = BasicValue::String { value: format!("{l}"), }; @@ -2375,7 +2375,7 @@ fn process_template( }; let l = - bisimilarity::bisimilarity_paige_tarkan::bisimilarity( + bisimilarity::bisimilarity_paige_tarjan::bisimilarity( &&graph_1, &&graph_2, ); let res = BasicValue::String {