Merge pull request #972 from pmoura/add_pid_predicate

author Mark Thom <[email protected]>

Wed, 19 May 2021 20:09:21 +0000 (14:09 -0600)

committer GitHub <[email protected]>

Wed, 19 May 2021 20:09:21 +0000 (14:09 -0600)
author Mark Thom <[email protected]>
Wed, 19 May 2021 20:09:21 +0000 (14:09 -0600)
committer GitHub <[email protected]>
Wed, 19 May 2021 20:09:21 +0000 (14:09 -0600)
diff --cc src/clause_types.rs
Simple merge
diff --cc src/machine/system_calls.rs
Simple merge
author	Mark Thom <[email protected]>
	Wed, 19 May 2021 20:09:21 +0000 (14:09 -0600)
committer	GitHub <[email protected]>
	Wed, 19 May 2021 20:09:21 +0000 (14:09 -0600)
		1	2
src/clause_types.rs	patch \|	diff1 \|	diff2 \|	blob \| history
src/machine/system_calls.rs	patch \|	diff1 \|	diff2 \|	blob \| history