Good catch. I created a pull request to fix it:
https://github.com/stan-dev/stan/pull/1921
Is there a way we can catch these easily in pull requests?
I just did
> grep -R cout src/stan
I probably inserted this one as I'm the one usually working
on the AST.
- Bob
> --
> You received this message because you are subscribed to the Google Groups "stan development mailing list" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
stan-dev+u...@googlegroups.com.
> For more options, visit
https://groups.google.com/d/optout.