diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-10-20 15:06:10 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-20 17:06:10 -0500 |
| commit | 020565a54621169437a237b0d14478f0c44936a0 (patch) | |
| tree | dd822c79418af42d04d522753481eff585e96008 /src/theory/rep_set.h | |
| parent | 00583622160a91cc2aedc58d00a690bd57306bdc (diff) | |
Fix compiler warnings. (#5305)
Diffstat (limited to 'src/theory/rep_set.h')
| -rw-r--r-- | src/theory/rep_set.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/rep_set.h b/src/theory/rep_set.h index 6e1ed1227..acf214787 100644 --- a/src/theory/rep_set.h +++ b/src/theory/rep_set.h @@ -71,7 +71,7 @@ class RepSet { /** does this set have representative n of type tn? */ bool hasRep(TypeNode tn, Node n) const; /** get the number of representatives for type */ - unsigned getNumRepresentatives(TypeNode tn) const; + size_t getNumRepresentatives(TypeNode tn) const; /** get representative at index */ Node getRepresentative(TypeNode tn, unsigned i) const; /** |