Rename private push/pop API and use from `stop_recording` method.
authorTom Hennigan <tomhennigan@google.com>
Thu, 17 May 2018 16:57:16 +0000 (09:57 -0700)
committerTensorFlower Gardener <gardener@tensorflow.org>
Thu, 17 May 2018 17:00:07 +0000 (10:00 -0700)
commit09a5f58fdc108e084b3d4a3c569a694fa5a96812
tree7fff269eca74d4abb005b4f80d4a924857aa9ada
parent9bdb7ec52c0262756d2d322435626d36161b60ed
Rename private push/pop API and use from `stop_recording` method.

PiperOrigin-RevId: 197007561
tensorflow/python/eager/backprop.py