Clone
Steven Jacobs <sjaco002@ucr.edu>
committed
on 12 Dec 14
Fix for issue832 The rewrite rule was previously assuming that the first argument to the function is the one that we are searching the… Show more
   Fix for issue832    The  rewrite rule was previously assuming that the first argument to the function is the one that we are searching the index on. This is not nessassarily the case      I changed it to search for the appropriate argument

Change-Id: I68ab853cc74e930605a9a7037be1036f052236b8

Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/195

Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>

Reviewed-by: Young-Seok Kim <kisskys@gmail.com>

Show less

master + 9 more