================================================================================
errors/moduleExtendsVersionCheck
================================================================================

extends "moduleWithHighMinPklVersion.pkl"

--------------------------------------------------------------------------------

(module
  (moduleHeader
    (extendsOrAmendsClause
      (stringConstant))))
