parse.c: remove spurious duplicate declaration
commit800cf0bfd8149cd0fd547e65472bc89bc6f09e2b
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 16 Aug 2013 08:49:33 +0000 (16 10:49 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 17 Aug 2013 11:39:30 +0000 (17 13:39 +0200)
tree6731bb87eef9dff42c7de7b5279f6dc8b7a44cc7
parentde8463512119e3f7edf9e44da7071a59cde7afcd
parse.c: remove spurious duplicate declaration

This declaration appears to have been duplicated by mistake
in 7166127 (introduce pet_implication, Thu Jun 20 15:38:31 2013 +0200).

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