tree ba32e836087ebaa93534e17ad38ee14421084b3b
parent 75f8e59e500e60fc5f47fe8a704e18762a6781ce
author Daniel Strüber <strueber@mathematik.uni-marburg.de> 1505483748 -0500
committer Daniel Strüber <strueber@mathematik.uni-marburg.de> 1505483748 -0500

Accomodate both empty and non-empty case of seq.unit applications

Change-Id: I43071bc19b21b19200bfbca8741a8a33cc872941