diff options
| author | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2015-03-04 14:46:39 +0100 |
|---|---|---|
| committer | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2015-03-04 14:46:39 +0100 |
| commit | c4d23a8699025e60ace2926189a943e8b6ef96c0 (patch) | |
| tree | cf6901c87f6c0972953bde287c1c1fb0fea2cb53 /src/core/managed | |
| parent | 3702ca7f315333eeedec40ca48a31f0ad6fb850d (diff) | |
fixed a bug in Stack.cpp which lead to wrong annotation handling if the annotation has no content.
Diffstat (limited to 'src/core/managed')
0 files changed, 0 insertions, 0 deletions