Avoid move constructor of std::fstream for GCC < 5 (#3098)
authorAndres Noetzli <noetzli@stanford.edu>
Mon, 22 Jul 2019 22:39:12 +0000 (18:39 -0400)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 22 Jul 2019 22:39:12 +0000 (15:39 -0700)
commit5d203980cb011ce0a9aa5007d4792c1f80dd1e4b
tree2730abeaf4430217720d17aa3c5068901815291a
parented8f4388c859595178e303f65393105e99d4eb59
Avoid move constructor of std::fstream for GCC < 5 (#3098)

GCC < 5 does not support the move constructor of `std::fstream` (see
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54316 for details). This
commit wraps the `std::fstream` in an `std::unique_ptr` to work around
that issue.
src/proof/clausal_bitvector_proof.cpp
src/proof/er/er_proof.cpp
src/proof/lrat/lrat_proof.cpp
src/util/utility.cpp
src/util/utility.h