Fix: Indentation in EliminationOfAbstractionTax example

[JonathanWbn]

Release Note: none

Fixes indentation in REPL of EliminationOfAbstractionTax example.

[facebook-github-bot]

Thank you for your pull request and welcome to our community. We require contributors to sign our Contributor License Agreement, and we don't seem to have you on file. In order for us to review and merge your code, please sign up at https://code.facebook.com/cla. If you are contributing on behalf of someone else (eg your employer), the individual CLA may not be sufficient and your employer may need the corporate CLA signed.

If you have received this in error or have any questions, please contact us at cla@fb.com. Thanks!

[facebook-github-bot]

Thank you for signing our Contributor License Agreement. We can now accept your code for this (and any) Facebook open source project. Thanks!

[trueadm]

Thanks for this :)

[facebook-github-bot]

trueadm is landing this pull request. If you are a Facebook employee, you can view this diff on Phabricator.