update pet for more relaxed pet_expr_is_equal index comparison
commitf68e92fc501161473b39009a7ca3519beddb3532
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 26 Jul 2021 19:38:31 +0000 (26 21:38 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 26 Jul 2021 19:38:31 +0000 (26 21:38 +0200)
treed2f9af98cbe2465fd0b097207c035138a932831b
parentd41b4530d79b4fbf73b246b3e8baf28b071062f4
update pet for more relaxed pet_expr_is_equal index comparison

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