tree bcada16bbd90e52af739f94227bcb34aa6c96f75
parent 3d62b8166fd8e82b832ea3a7eda07a525c61bb10
author Christian Krause <henshin.ck@gmail.com> 1440934952 +0200
committer Christian Krause <henshin.ck@gmail.com> 1440934952 +0200

some code clean up in invariant checker

Change-Id: I9d08e85472d9fffb6e90a83227e7c35b4544eb3a