Revert "temporary changes for optimizations"
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 9 Feb 2020 17:56:51 +0000 (17:56 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 9 Feb 2020 17:56:51 +0000 (17:56 +0000)
This reverts commit 5aaebfb786bc3dcecee1f8f9ae4e016bd28f72c6.


No differences found