tree 602c005ab54fce2be7357d54e0891b7628fe2c1a
parent fd966c59178d7fe53bf517ed086d7c78c1043ea6
author margaretha <margaretha@ids-mannheim.de> 1535985810 +0200
committer margaretha <margaretha@ids-mannheim.de> 1535985810 +0200

Fixed number of bits in DocBits.

Change-Id: I48b091887a59100fb00dbd7326b7154c28385855