From 6126c3ef4cf3b0cd40e98aeab4e13b059aaadffa Mon Sep 17 00:00:00 2001
From: Baoluo Meng <baoluo.meng@ge.com>
Date: Tue, 12 Jul 2022 15:24:50 -0500
Subject: [PATCH] Minor msgs printing

---
 .../src/com/ge/research/osate/verdict/aadl2vdm/Aadl2Vdm.java  | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/verdict/com.ge.research.osate.verdict/src/com/ge/research/osate/verdict/aadl2vdm/Aadl2Vdm.java b/tools/verdict/com.ge.research.osate.verdict/src/com/ge/research/osate/verdict/aadl2vdm/Aadl2Vdm.java
index b6952cbb..4839963e 100644
--- a/tools/verdict/com.ge.research.osate.verdict/src/com/ge/research/osate/verdict/aadl2vdm/Aadl2Vdm.java
+++ b/tools/verdict/com.ge.research.osate.verdict/src/com/ge/research/osate/verdict/aadl2vdm/Aadl2Vdm.java
@@ -4486,7 +4486,7 @@ else if(dataPort.isOut()) {
 			dtype = resolveAADLDataImplementationType(aadlDImpl, model, dataTypeDecl);
 		} else {
 			dtype = null;
-			System.out.println("Unresolved/unexpected Named Element for a data port: " + dataPort);
+			System.out.println("Warning: No data type is declared for a data port: " + dataPort);
 		}
 		verdict.vdm.vdm_model.Port newPort = new verdict.vdm.vdm_model.Port();
 		newPort.setProbe(false);
@@ -4550,7 +4550,7 @@ else if(dataPort.isOut()) {
 				dtype = resolveAADLDataImplementationType(aadlDImpl, model, dataTypeDecl);
 			} else {
 				dtype = null;
-				System.out.println("Unresolved/unexpected Named Element for an event data port: " + dataPort);
+				System.out.println("Warning: No data type is declared for an event data port: " + dataPort);
 			}
 			if(dtype != null) {
 				newPort.setType(dtype);