From 607847abc3e9a0eb6737414fee24711896e632ca Mon Sep 17 00:00:00 2001
From: John Doty <john@d0ty.me>
Date: Sun, 28 Jan 2024 22:12:30 -0800
Subject: [PATCH] [fine] ICE sorts errors on reporting

---
 fine/src/semantics.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fine/src/semantics.rs b/fine/src/semantics.rs
index e55a44a6..561fb9fe 100644
--- a/fine/src/semantics.rs
+++ b/fine/src/semantics.rs
@@ -1741,7 +1741,7 @@ impl<'a> Semantics<'a> {
         eprintln!("\n{}", self.syntax_tree.dump(true));
 
         {
-            let errors = self.errors.borrow();
+            let errors = self.snapshot_errors();
             if errors.len() == 0 {
                 eprintln!("There were no errors reported during checking.\n");
             } else {