merge pet_skip_info_if_add and pet_skip_info_seq_add
commit587e72f6425e1c2f81d446af2b7271305fced121
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 19 Apr 2014 15:35:33 +0000 (19 17:35 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 19 Feb 2015 11:10:12 +0000 (19 12:10 +0100)
tree6597c2e9b9a63fc795ace0fa3a1c95a77c099791
parentfe96b6c5344ff8e84851d4fb4e9b18789ebd73ba
merge pet_skip_info_if_add and pet_skip_info_seq_add

After removing the statement schedule manipulations, these two
functions are now identical.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
skip.c
skip.h
tree2scop.c