Build #2188 (Sep 26, 2020, 11:51:11 PM)

Testcase for recent PR #1656
https://github.com/souffle-lang/souffle/pull/1657
PR #1657

	No changes.
	GitHub pull request #1657 of commit 8e5b727c354f59720b05f52440496422c9805f67, no merge conflicts.
	Aborted by user anonymous