Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-04 22:29:02 -0700 (Mon, 04 Apr 2005)
Revision: 7130
Log message:
In table-based tactics and conversions, call the get_resource_arg once in the
high-level tactic/conversion (e.g. reduceC) instead of every time the
low-level tactic/conversion (e.g. reduceTopC) is called from the high-level
one.