put it as 4.11 instead of 4.12 by mistake

RicardoLuis0 · Oct 1, 2023 · 48efb14 · 48efb14
1 parent d5cacc5
commit 48efb14
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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); }