diff options
Diffstat (limited to 'src/theory/uf/ho_extension.cpp')
| -rw-r--r-- | src/theory/uf/ho_extension.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/uf/ho_extension.cpp b/src/theory/uf/ho_extension.cpp index ee3753e92..78171349d 100644 --- a/src/theory/uf/ho_extension.cpp +++ b/src/theory/uf/ho_extension.cpp @@ -227,7 +227,7 @@ unsigned HoExtension::checkExtensionality(TheoryModel* m) // are present if (hasFunctions) { - d_im.setIncomplete(); + d_im.setIncomplete(IncompleteId::UF_HO_EXT_DISABLED); } return 0; } |