commit | 75f8e59e500e60fc5f47fe8a704e18762a6781ce | [log] [tgz] |
---|---|---|
author | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Sep 15 08:45:29 2017 -0500 |
committer | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Sep 15 08:45:29 2017 -0500 |
tree | f61acf29441539267774aa3c28a3547ffac4e1d3 | |
parent | 8c3f5dcff94b4a3760a9e105063e1df50a3f461c [diff] |
Restore seq. unit behavior for empty case (apps are always successful) Change-Id: I3c916185bd3b9a3ddca8dc59add1fa2f23fc2753