diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-11 06:27:29 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-11 08:27:29 -0600 |
| commit | 36f4f6b75bd13b7770e6113ed5c2f9b2b895e0ba (patch) | |
| tree | bb73fe5d903519549ee9effcc6ee4b10a7f2bd69 /src/theory/strings/infer_info.cpp | |
| parent | 3fec15351e149fe88ad32cf8a436da5270730eae (diff) | |
Remove `--strings-binary-csp` option (#3743)
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; |