Fix the same bug in replace-operator that was just fixed in
authorJacob Katzenelson <edu/mit/csail/zurich/jacob>
Tue, 3 Aug 1993 21:53:35 +0000 (21:53 +0000)
committerJacob Katzenelson <edu/mit/csail/zurich/jacob>
Tue, 3 Aug 1993 21:53:35 +0000 (21:53 +0000)
commit278d02afefa48f0e819184b932ce4509776ec871
tree1220c44bd6f042b183f760ef980b81593ddc96fa
parentee85000ce34f07534b36d8539e6979299dd36912
Fix the same bug in replace-operator that was just fixed in
reduce-operator.  -- GJR
v7/src/sf/reduct.scm