diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/sygus_unif.h')
| -rw-r--r-- | src/theory/quantifiers/sygus/sygus_unif.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/quantifiers/sygus/sygus_unif.h b/src/theory/quantifiers/sygus/sygus_unif.h index 185a927df..f6e85abcd 100644 --- a/src/theory/quantifiers/sygus/sygus_unif.h +++ b/src/theory/quantifiers/sygus/sygus_unif.h @@ -182,8 +182,8 @@ class SygusUnif */ virtual Node constructBestStringToConcat( const std::vector<Node>& strs, - const std::map<Node, unsigned>& total_inc, - const std::map<Node, std::vector<unsigned> >& incr); + const std::map<Node, size_t>& total_inc, + const std::map<Node, std::vector<size_t>>& incr); //------------------------------ end constructing solutions /** map terms to their sygus size */ std::map<Node, unsigned> d_termToSize; |