From 17eff747ef7246ccd54eb41e8fcbe949ca492583 Mon Sep 17 00:00:00 2001
From: Shunsuke Shibayama <sbym1346@gmail.com>
Date: Sat, 17 Dec 2022 11:11:59 +0900
Subject: [PATCH] Update mod.rs

---
 compiler/erg_compiler/context/initialize/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/erg_compiler/context/initialize/mod.rs b/compiler/erg_compiler/context/initialize/mod.rs
index 7536737d..f72e5a1b 100644
--- a/compiler/erg_compiler/context/initialize/mod.rs
+++ b/compiler/erg_compiler/context/initialize/mod.rs
@@ -1876,7 +1876,7 @@ impl Context {
             None,
             Code,
         );
-        let t_quit = func(vec![], None, vec![kw("code", Int)], NoneType);
+        let t_quit = func(vec![], None, vec![kw("code", Int)], Never);
         let t_exit = t_quit.clone();
         let t_repr = nd_func(vec![kw("object", Obj)], None, Str);
         let t_round = nd_func(vec![kw("number", Float)], None, Int);