update pet for more relaxed pet_expr_is_equal index comparison
commitff2e4f9e6f6c2c5396ad8ab124bf339099c78276
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 26 Jul 2021 18:52:14 +0000 (26 20:52 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 26 Jul 2021 19:14:10 +0000 (26 21:14 +0200)
treed84ab5ba3f58b3f415affcecfe3e1b7bb0f27b7f
parent8129bceb7194e334b569a8188d34956a2520ec44
update pet for more relaxed pet_expr_is_equal index comparison

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
pet