The encoder writes the skip_intra_flag syntax element to the bitstream although SkipIntraEnabledFlag is equal to 0.

The bug might be fixed by the following replacement in TEncEntropy.cpp (untested):

Replace

Void TEncEntropy::encodeDIS( TComDataCU* pcCU, UInt uiAbsPartIdx, Bool bRD )
{
  if ( !pcCU->getSlice()->getIsDepth() )
  {
    return;
  }

with

Void TEncEntropy::encodeDIS( TComDataCU* pcCU, UInt uiAbsPartIdx, Bool bRD )
{
  if( !pcCU->getSlice()->getDepthIntraSkipFlag() )
  {
    return;
  }