tree f0afd9edb16153dc16aeae2c758b0e1fdb86c57e
parent bf9e479d82e93d26ca0f77535a3de2d093f13db9
author Jeffrey Overbey <jeffreyoverbey@acm.org> 1339533690 -0500
committer Jeffrey Overbey <jeffreyoverbey@acm.org> 1339533690 -0500

Marked Replace Do Loop with Forall as unchecked refactoring