diff --git a/resources/AADLv2/errorlibrary.aadl b/resources/AADLv2/errorlibrary.aadl index b2f9e1ddbefe58b98f166a390172195917656f24..bc395452f698819e823c32c140cdbd26ad97c109 100644 --- a/resources/AADLv2/errorlibrary.aadl +++ b/resources/AADLv2/errorlibrary.aadl @@ -1,6 +1,10 @@ package ErrorLibrary public +data dummy + -- FIXME: Workaround to allow pretty printing this package +end dummy; + annex EMV2 {** error types CommonErrors: type set { ServiceError, TimingRelatedError, ValueRelatedError, ReplicationError,