From 48efb148641ccdfb0abf43b58943088ffb493b2d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ricardo=20Lu=C3=ADs=20Vaz=20Silva?= Date: Sun, 1 Oct 2023 19:04:31 -0300 Subject: [PATCH] put it as 4.11 instead of 4.12 by mistake --- src/common/engine/sc_man_scanner.re | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/common/engine/sc_man_scanner.re b/src/common/engine/sc_man_scanner.re index fe910125882..dfc3f050f0e 100644 --- a/src/common/engine/sc_man_scanner.re +++ b/src/common/engine/sc_man_scanner.re @@ -204,7 +204,7 @@ std2: 'stop' { RET(TK_Stop); } 'null' { RET(TK_Null); } 'nullptr' { RET(ParseVersion >= MakeVersion(4, 9, 0)? TK_Null : TK_Identifier); } - 'sealed' { RET(ParseVersion >= MakeVersion(4, 11, 0)? TK_Sealed : TK_Identifier); } + 'sealed' { RET(ParseVersion >= MakeVersion(4, 12, 0)? TK_Sealed : TK_Identifier); } 'is' { RET(ParseVersion >= MakeVersion(1, 0, 0)? TK_Is : TK_Identifier); } 'replaces' { RET(ParseVersion >= MakeVersion(1, 0, 0)? TK_Replaces : TK_Identifier); }