From 73366c015f27d3f3052db05c6811c00f69e7224d Mon Sep 17 00:00:00 2001
From: flywind <xzsflywind@gmail.com>
Date: Fri, 12 Nov 2021 14:59:48 +0800
Subject: [PATCH] update manual (#19130) [backport]

(cherry picked from commit 3aaa12dbe5796cc55c6161e4d30a70a7f75cb3b5)
---
 doc/manual.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/manual.rst b/doc/manual.rst
index 4b212fe19f05..63cbbdfde0f4 100644
--- a/doc/manual.rst
+++ b/doc/manual.rst
@@ -6699,11 +6699,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