From 316af0b82d44d2bda783bc8cfea2466c2bc4adbc Mon Sep 17 00:00:00 2001
From: Matt Keenan <negabinary@gmail.com>
Date: Fri, 1 Nov 2024 16:22:54 -0400
Subject: [PATCH] Print perform errors

---
 src/haz3lcore/zipper/Printer.re | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/haz3lcore/zipper/Printer.re b/src/haz3lcore/zipper/Printer.re
index c9223c35e7..1ab6b176f5 100644
--- a/src/haz3lcore/zipper/Printer.re
+++ b/src/haz3lcore/zipper/Printer.re
@@ -55,7 +55,10 @@ let to_rows =
 };
 
 let measured = z =>
-  z |> Zipper.seg_without_buffer |> Measured.of_segment(_, Id.Map.empty);
+  z
+  |> ProjectorPerform.Update.remove_all
+  |> Zipper.seg_without_buffer
+  |> Measured.of_segment(_, Id.Map.empty);
 
 let pretty_print = (~holes: option(string)=Some(""), z: Zipper.t): string =>
   to_rows(
@@ -78,7 +81,7 @@ let zipper_to_string =
   )
   |> String.concat("\n");
 
-let to_string_selection = (zipper: Zipper.t): string =>
+let to_string_selection = (zipper: Zipper.t): string => {
   to_rows(
     ~measured=measured(zipper),
     ~caret=None,
@@ -87,6 +90,7 @@ let to_string_selection = (zipper: Zipper.t): string =>
     ~segment=zipper.selection.content,
   )
   |> String.concat("\n");
+};
 
 let zipper_of_string =
     (~zipper_init=Zipper.init(), str: string): option(Zipper.t) => {