commit 3b1142925b54e09f96318ced615def8f6db517c7
author Ed Willink <ed@willink.me.uk> Wed Dec 11 15:53:07 2019 +0000
committer Ed Willink <ed@willink.me.uk> Sun Dec 29 21:27:22 2019 +0000
tree 445f598e78d0d06bcde7512b36d4eda687244965
parent 93efc9dc79009d164a401eb2c15344ddd4481e6e

[unrelated] Fix bad createLetExp 'common' type

plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotHelper.java

diff --git a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotHelper.java b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotHelper.java
index 9e569b0..1ea5cf9 100644
--- a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotHelper.java
+++ b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotHelper.java
@@ -244,12 +244,10 @@
 	}
 
 	public @NonNull LetExp createLetExp(@NonNull Variable asVariable, @NonNull OCLExpression asInExpression) {
-		Type commonType = metamodelManager.getCommonType(ClassUtil.nonNullState(asVariable.getType()), TemplateParameterSubstitutions.EMPTY,
-			ClassUtil.nonNullState(asInExpression.getType()), TemplateParameterSubstitutions.EMPTY);
 		LetExp asLetExp = PivotFactory.eINSTANCE.createLetExp();
 		asLetExp.setOwnedVariable(asVariable);
 		asLetExp.setOwnedIn(asInExpression);;
-		asLetExp.setType(commonType);
+		asLetExp.setType(asInExpression.getType());
 		asLetExp.setIsRequired(asInExpression.isIsRequired());
 		asLetExp.setOwnedVariable(asVariable);
 		return asLetExp;