tree a0720571c3706a2f53ddaf711a7c8cdb6bb0dfb9
parent 3400aa5ea896f3016bb63d0dcba632007d528a01
author Marc Kupietz <kupietz@ids-mannheim.de> 1528188678 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1528188678 +0200

collocatordb:  make sure that pmi is defined