diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-05-13 10:13:16 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-05-13 10:13:30 +0200 |
| commit | e7439fc0daf1049f59540b9aeb890a52d86a77bd (patch) | |
| tree | 823cfdcb1ddedcfc2e787893ffc688c090c10a07 /src/util | |
| parent | dcb85a122a2dc9c80c2626ba6ab83f97d7e983ad (diff) | |
Refactor interface for incompleteness in quantifiers engine, cbqi. Minor fix for sygus.
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/datatype.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/datatype.cpp b/src/util/datatype.cpp index 948bad56c..5a7a6da89 100644 --- a/src/util/datatype.cpp +++ b/src/util/datatype.cpp @@ -140,7 +140,7 @@ void Datatype::setSygus( Type st, Expr bvl, bool allow_const, bool allow_all ){ d_sygus_type = st; d_sygus_bvl = bvl; d_sygus_allow_const = allow_const || allow_all; - d_sygus_allow_const = allow_all; + d_sygus_allow_all = allow_all; } |