tree b79e304070362239a822d3f4db8443fc5eceda47
parent a88854ffc09d7a67f198972fbe2c7f6e132f7dfd
author margaretha <margaretha@ids-mannheim.de> 1533222117 +0200
committer margaretha <margaretha@ids-mannheim.de> 1533222117 +0200

Added check for non-existing doc bit vector in the cache

Change-Id: Icd770b0452b9208a0e0c44f7ec62f1aaf5aaf458