Commit a2e3dd54 by Christophe Geuzaine

we should really use IsSame(), and not IsEqual()

1 parent 36013c2e
Pipeline #39 passed
in 20 minutes 1 second