diff options
Diffstat (limited to 'src/util/uninterpreted_constant.cpp')
-rw-r--r-- | src/util/uninterpreted_constant.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/uninterpreted_constant.cpp b/src/util/uninterpreted_constant.cpp index 766d86428..37510cce1 100644 --- a/src/util/uninterpreted_constant.cpp +++ b/src/util/uninterpreted_constant.cpp @@ -34,7 +34,7 @@ std::ostream& operator<<(std::ostream& out, const UninterpretedConstant& uc) { while((i = t.find_first_not_of("abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ1234567890_", i)) != string::npos) { t.replace(i, 1, 1, '_'); } - return out << "_uc_" << t << '_' << uc.getIndex(); + return out << "uc_" << t << '_' << uc.getIndex(); } }/* CVC4 namespace */ |