mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

gbellato
31.50.2009 9452e6e93128f70a3ca7102c695281d2ea786b9a
opends/src/server/org/opends/server/replication/service/ReplicationDomain.java
@@ -818,7 +818,6 @@
        }
        else if (msg instanceof UpdateMsg)
        {
          generator.adjust(((UpdateMsg) msg).getChangeNumber());
          update = (UpdateMsg) msg;
          generator.adjust(update.getChangeNumber());
        }