tree 2c8d8bae94e1a753e20febebcf5a05f3d0dc40e5
parent 420db0e7548d463a91361608e28aa90e0a3e85cc
author margaretha <margaretha@ids-mannheim.de> 1544537384 +0100
committer margaretha <margaretha@ids-mannheim.de> 1544537384 +0100

Fixed rewrite bugs (updated rewriteQuery & KoralNode)

Change-Id: Ic010e0f6210d34a8fe8dfe15a68f1112423f60eb