commit 5d2c860e5d760fb13068851f554450cad14e9ca3
author Ed Willink <ed@willink.me.uk> Mon Dec 03 17:03:32 2018 +0000
committer Ed Willink <ed@willink.me.uk> Mon Dec 03 17:03:32 2018 +0000
tree f80b068e6f1f70bc4190c31e874e61bf398d34d9
parent 15b884ce2bb64c96eab2f5e7e599f656de92c298

[541857] Suppress spurious major version change diagnostic

plugins/org.eclipse.ocl.pivot/.settings/.api_filters

diff --git a/plugins/org.eclipse.ocl.pivot/.settings/.api_filters b/plugins/org.eclipse.ocl.pivot/.settings/.api_filters
index 184fdd8..e649df4 100644
--- a/plugins/org.eclipse.ocl.pivot/.settings/.api_filters
+++ b/plugins/org.eclipse.ocl.pivot/.settings/.api_filters
@@ -1,5 +1,13 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <component id="org.eclipse.ocl.pivot" version="2">
+    <resource path="META-INF/MANIFEST.MF">
+        <filter id="923795461">
+            <message_arguments>
+                <message_argument value="1.6.0"/>
+                <message_argument value="1.5.0"/>
+            </message_arguments>
+        </filter>
+    </resource>
     <resource path="emf-gen/org/eclipse/ocl/pivot/CallExp.java" type="org.eclipse.ocl.pivot.CallExp">
         <filter id="403804204">
             <message_arguments>