Searched refs:thisOp (Results 1 – 1 of 1) sorted by relevance
3555 final HistoricalOp thisOp = getOp(otherOp.getOpName()); in merge() local3556 if (thisOp != null) { in merge()3557 thisOp.merge(otherOp); in merge()