scop.c: drop unused pet_implication_embed
commit5c18deff0d150a257385ce4ab8252cc15ced80e1
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 25 Dec 2016 18:02:48 +0000 (25 19:02 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 26 Dec 2016 10:37:49 +0000 (26 11:37 +0100)
treeb28faf31ad1eb317d34b0e4c2c908a5b6166c849
parent8a6ec5b9e5178c4755211ad7f31d315611b443d5
scop.c: drop unused pet_implication_embed

The last use of this function was removed in 1bcd2f8
(pet_scop_from_pet_tree: extract pet_scop from the root
down to the leaves, Wed Jan 1 14:32:37 2014 +0100).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scop.c