--- rpl/modules/sets/types.rplc 2017/07/12 15:42:24 1.5 +++ rpl/modules/sets/types.rplc 2018/06/01 13:02:13 1.6 @@ -69,6 +69,8 @@ declareTypeExtension(parse) } } } + + parseError; endTypeExtension