tree 485d962bcefb464fec1140b32e5436174692c64d
parent f093afb747e85f74e111bb1861ae87bbdcb29514
author margaretha <margaretha@ids-mannheim.de> 1510519181 +0100
committer margaretha <margaretha@ids-mannheim.de> 1510519181 +0100

Fixed a rewrite bug regarding availability with operation or.

Change-Id: Idc24dbf85ca5fea9f5adc49df1c8025f3b5340f1