diff options
Diffstat (limited to 'src/theory/strings/infer_info.cpp')
| -rw-r--r-- | src/theory/strings/infer_info.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/strings/infer_info.cpp b/src/theory/strings/infer_info.cpp index b2c88d068..e15ee984d 100644 --- a/src/theory/strings/infer_info.cpp +++ b/src/theory/strings/infer_info.cpp @@ -29,7 +29,6 @@ std::ostream& operator<<(std::ostream& out, Inference i) case INFER_SSPLIT_VAR_PROP: out << "S-Split(VAR)-prop"; break; case INFER_LEN_SPLIT: out << "Len-Split(Len)"; break; case INFER_LEN_SPLIT_EMP: out << "Len-Split(Emp)"; break; - case INFER_SSPLIT_CST_BINARY: out << "S-Split(CST-P)-binary"; break; case INFER_SSPLIT_CST: out << "S-Split(CST-P)"; break; case INFER_SSPLIT_VAR: out << "S-Split(VAR)"; break; case INFER_FLOOP: out << "F-Loop"; break; |