From 92b9c7b50be90776386fdcdd7f0cfa725f096d62 Mon Sep 17 00:00:00 2001
From: Matt Keenan <negabinary@gmail.com>
Date: Wed, 21 Aug 2024 17:22:20 -0400
Subject: [PATCH] Run statics on results again

---
 src/haz3lweb/app/editors/code/CodeSelectable.re | 2 ++
 src/haz3lweb/app/editors/result/EvalResult.re   | 4 ++++
 2 files changed, 6 insertions(+)

diff --git a/src/haz3lweb/app/editors/code/CodeSelectable.re b/src/haz3lweb/app/editors/code/CodeSelectable.re
index 3e7e73a929..3c2a35d71a 100644
--- a/src/haz3lweb/app/editors/code/CodeSelectable.re
+++ b/src/haz3lweb/app/editors/code/CodeSelectable.re
@@ -50,6 +50,8 @@ module Update = {
     | Undo
     | Redo
     | DebugConsole(_) => None;
+
+  let calculate = CodeEditable.Update.calculate;
 };
 
 module Selection = {
diff --git a/src/haz3lweb/app/editors/result/EvalResult.re b/src/haz3lweb/app/editors/result/EvalResult.re
index 0246700f47..890a7a4ecd 100644
--- a/src/haz3lweb/app/editors/result/EvalResult.re
+++ b/src/haz3lweb/app/editors/result/EvalResult.re
@@ -124,6 +124,10 @@ module Update = {
                   |> CodeSelectable.Model.mk_from_exp(
                        ~settings=settings.core,
                      )
+                  |> CodeSelectable.Update.calculate(
+                       ~is_edited=true, ~settings=settings.core, ~stitch=x =>
+                       x
+                     )
                   |> (x => (x, s)),
                 update,
               ),