impl: add {pre,post}_assert statements

[m6w6/ext-psi] / src / parser.re

diff --git a/src/parser.re b/src/parser.re
index 1b2aae7e550498ee554b39dff8ad2459dc192201..df2d102716025b9df8dcab16634eec88d51a333a 100644 (file)
--- a/src/parser.re
+++ b/src/parser.re
@@ -316,6 +316,8 @@ token_t psi_parser_scan(struct psi_parser *P)
                'LIB' {RETURN(PSI_T_LIB);}
                'LET' {RETURN(PSI_T_LET);}
                'SET' {RETURN(PSI_T_SET);}
+               'PRE_ASSERT' {RETURN(PSI_T_PRE_ASSERT);}
+               'POST_ASSERT' {RETURN(PSI_T_POST_ASSERT);}
                'RETURN' {RETURN(PSI_T_RETURN);}
                'FREE' {RETURN(PSI_T_FREE);}
                'TEMP' {RETURN(PSI_T_TEMP);}