terminal: fix typo in terminal-height name

mrjbq7 · Aug 23, 2023 · 7b45017 · 7b45017
1 parent 37ae467
commit 7b45017
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extra/terminal/terminal.factor b/extra/terminal/terminal.factor
@@ -20,4 +20,4 @@ HOOK: (terminal-size) os ( -- columns lines )
 
 : terminal-width ( -- width ) terminal-size first ;
 
-: terimal-height ( -- height ) terminal-size second ;
+: terminal-height ( -- height ) terminal-size second ;