From 76d17f3a036bdb76ff986cb104636e1f56cf52fe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81lvaro=20Gonz=C3=A1lez?= <alvaro@asus>
Date: Wed, 11 Mar 2026 08:36:54 +0100
Subject: [PATCH] setState instead of pushReplacement

---
 lib/ai/formula_screen.dart | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/lib/ai/formula_screen.dart b/lib/ai/formula_screen.dart
index c8a4436..5b1c5bc 100644
--- a/lib/ai/formula_screen.dart
+++ b/lib/ai/formula_screen.dart
@@ -484,16 +484,9 @@ class _FormulaScreenState extends State<FormulaScreen> {
       }
 
       // Replace the current FormulaScreen with the new DerivedFormula screen
-      Navigator.pushReplacement(
-        context,
-        MaterialPageRoute(
-          builder: (context) => FormulaScreen(
-            formula: derivedFormula,
-            corpus: widget.corpus,
-            onSave: widget.onSave,
-          ),
-        ),
-      );
+      setState( (){
+        formula = derivedFormula;
+      });
     } catch (e, st) {
       errorHandler.notify(e,st);
     }