From f1d4d7f3d6f1edd1e1af4e6c70bc89bd44e61d33 Mon Sep 17 00:00:00 2001
From: Emile Clark-Boman <emile@agribit.com.au>
Date: Mon, 9 Feb 2026 13:36:20 +1000
Subject: [PATCH] fix typo

---
 nt/precursor/bootstrap/naive/terminal.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nt/precursor/bootstrap/naive/terminal.nix b/nt/precursor/bootstrap/naive/terminal.nix
index e7c0126..127d025 100644
--- a/nt/precursor/bootstrap/naive/terminal.nix
+++ b/nt/precursor/bootstrap/naive/terminal.nix
@@ -34,5 +34,5 @@ in rec {
   # Lift a value out of the Terminal context.
   unwrapTerminal = T:
     assert enfIsTerminal T "unwrapTerminal";
-      T._value_;
+      T._value;
 }