diff --git a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
index 441703dc1420935ee53ab649516b0eb5b36dff27..952351cbfa0cfd91a7f3ec8f0e17148c6e067f64 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
@@ -298,6 +298,13 @@ public class EntityUtil {
 		return false;
 	}
 
+	public boolean isRealAttribute(Property umlProperty) {
+		if (umlProperty.getType() != null) {
+			return (umlProperty.getType().getName().compareTo("Real") == 0);
+		}
+		return false;
+	}
+	
 	public boolean isIntegerAttribute(Property umlProperty) {
 		if (umlProperty.getType() != null) {
 			return (umlProperty.getType().getName().compareTo("Integer") == 0);