From 8478c430435fd00161f155f01ed926eefd6ed7c3 Mon Sep 17 00:00:00 2001 From: Sergey Prigogin Date: Thu, 30 Aug 2012 15:46:23 -0700 Subject: [PATCH] Bug 380623. Incremented PDOM version since some database records changed. --- .../parser/org/eclipse/cdt/internal/core/pdom/PDOM.java | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOM.java b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOM.java index 6601c2f441a..ba33a50e978 100644 --- a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOM.java +++ b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOM.java @@ -218,10 +218,11 @@ public class PDOM extends PlatformObject implements IPDOM { * 124.0 - GCC attributes and NO_RETURN flag for functions. * #125.0# - Indexes for unresolved includes and files indexed with I/O errors. <> * 126.0 - Dependent expressions, bug 299911. + * 127.0 - Explicit virtual overrides, bug 380623. */ - private static final int MIN_SUPPORTED_VERSION= version(126, 0); - private static final int MAX_SUPPORTED_VERSION= version(126, Short.MAX_VALUE); - private static final int DEFAULT_VERSION = version(126, 0); + private static final int MIN_SUPPORTED_VERSION= version(127, 0); + private static final int MAX_SUPPORTED_VERSION= version(127, Short.MAX_VALUE); + private static final int DEFAULT_VERSION = version(127, 0); private static int version(int major, int minor) { return (major << 16) + minor;