comparison eq.urs @ 14:744bf911dcc6

Update to expect implicit argument insertion for local variables
author Adam Chlipala <adam@chlipala.net>
date Tue, 14 Jun 2011 08:55:15 -0400
parents 799f43bce62b
children
comparison
equal deleted inserted replaced
13:d05943db55e8 14:744bf911dcc6