Bug Fix #2952645

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Camille@11688 1434b563-b632-4741-aa49-43a3a8374d2e

org.eventb.texteditor.feature/feature.xml

@@ -2,7 +2,7 @@
 <feature
       id="org.eventb.texteditor.feature"
       label="Camille TextEditor"
-      version="2.1.1"
+      version="2.1.2"
       provider-name="Heinrich-Heine University Dusseldorf"
       plugin="org.eventb.texteditor.ui">
 

org.eventb.texttools/META-INF/MANIFEST.MF

@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Event-B EMF Texttools
 Bundle-SymbolicName: org.eventb.texttools;singleton:=true
-Bundle-Version: 2.1.1
+Bundle-Version: 2.1.2
 Bundle-Activator: org.eventb.texttools.TextToolsPlugin
 Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,3.7.0)",
  org.eclipse.jface.text;bundle-version="[3.5.0,3.7.0)",

org.eventb.texttools/src/org/eventb/texttools/formulas/ResolveVisitor.java

@@ -208,6 +208,8 @@ public class ResolveVisitor implements ISimpleVisitor {
 				FormulasPackage.eINSTANCE.getCartesianProductExpression());
 		idToEClass.put(Formula.DPROD,
 				FormulasPackage.eINSTANCE.getDirectProductExpression());
+		idToEClass.put(Formula.PPROD,
+				FormulasPackage.eINSTANCE.getParallelProductExpression());
 		idToEClass.put(Formula.DOMRES,
 				FormulasPackage.eINSTANCE.getDomainRestrictionExpression());
 		idToEClass.put(Formula.DOMSUB,