Build #2528 (Jan 24, 2021, 2:12:26 PM)

Optimise RAM Choice to use "True" for filter when no filters exist below
https://github.com/souffle-lang/souffle/pull/1841
PR #1841

	No changes.
	GitHub pull request #1841 of commit a5dc8d28107aa3d87d23de7b5ff84a97db1c8446, no merge conflicts.