stan-dev/stan — pull request #261 by syclik (2013-10-07 18:40:31+00:00)
Title: Optimization broken in current develop

Fixed by flushing and closing output stream.

Fixes #259.