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 {