diff options
Diffstat (limited to 'src/util/utility.cpp')
| -rw-r--r-- | src/util/utility.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/utility.cpp b/src/util/utility.cpp index b07f046bf..cde74c6eb 100644 --- a/src/util/utility.cpp +++ b/src/util/utility.cpp @@ -43,7 +43,7 @@ std::unique_ptr<std::fstream> openTmpFile(std::string* pattern) int r = mkstemp(tmpName); if (r == -1) { - CVC4_FATAL() << "Could not create temporary file " << *pattern; + CVC5_FATAL() << "Could not create temporary file " << *pattern; } std::unique_ptr<std::fstream> tmpStream(new std::fstream(tmpName)); close(r); |