From eee0439f6e13f5ae76ed71e42fc67d17a31bac42 Mon Sep 17 00:00:00 2001
From: elvis <elvilio98@gmail.com>
Date: Wed, 17 Sep 2025 01:07:09 +0200
Subject: [PATCH] unstable let

---
 execution/src/presets.rs | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/execution/src/presets.rs b/execution/src/presets.rs
index 0d350ab..6d6ec49 100644
--- a/execution/src/presets.rs
+++ b/execution/src/presets.rs
@@ -630,13 +630,12 @@ where
 /// Computes the LTS.
 /// equivalent to main_do(digraph, Arcs) or to main_do(advdigraph, Arcs)
 pub fn digraph(system: &mut EvaluatedSystem) -> Result<(), String> {
-    if let Some(sys) = &system.sys
-        && system.graph.is_none()
+    if let (Some(sys), true) = (&system.sys, system.graph.is_none())
     {
         let graph = sys.digraph()?;
         system.graph = Some(graph);
-    } else if let Some(positive) = &system.positive
-        && system.graph.is_none()
+    } else if let (Some(positive), true) =
+        (&system.positive, system.graph.is_none())
     {
         let _graph = positive.digraph()?;
         todo!()