From e5c8f1566bdf5ec8f99e4692549ba2a234da55de Mon Sep 17 00:00:00 2001
From: Bechir Zalila <bechir@zalila.net>
Date: Tue, 12 Jul 2016 10:58:17 +0100
Subject: [PATCH] 	* (errorlibrary.aadl) Add a dummy component to allow
 pretty printing 	this package.

---
 resources/AADLv2/errorlibrary.aadl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/resources/AADLv2/errorlibrary.aadl b/resources/AADLv2/errorlibrary.aadl
index b2f9e1dd..bc395452 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,
-- 
GitLab