From 8c62398146eb2ed8460926c61eda4cc2a274568f Mon Sep 17 00:00:00 2001
From: flywind <xzsflywind@gmail.com>
Date: Fri, 12 Nov 2021 11:57:29 +0800
Subject: [PATCH] update manual

---
 doc/manual.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/manual.rst b/doc/manual.rst
index 00140203692f0..328035b6d4f1e 100644
--- a/doc/manual.rst
+++ b/doc/manual.rst
@@ -6721,11 +6721,11 @@ statement, as seen in stack backtraces:
     if not cond:
       # change run-time line information of the 'raise' statement:
       {.line: instantiationInfo().}:
-        raise newException(EAssertionFailed, msg)
+        raise newException(AssertionDefect, msg)
 
 If the `line` pragma is used with a parameter, the parameter needs be a
 `tuple[filename: string, line: int]`. If it is used without a parameter,
-`system.InstantiationInfo()` is used.
+`system.instantiationInfo()` is used.
 
 
 linearScanEnd pragma