diff options
Diffstat (limited to 'src/expr/expr.h')
-rw-r--r-- | src/expr/expr.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr.h b/src/expr/expr.h index 6e4a43d21..0943c13e4 100644 --- a/src/expr/expr.h +++ b/src/expr/expr.h @@ -92,7 +92,7 @@ public: * Returns the hash value of the expression. Equal expression will have the * same hash value. */ - uint64_t hash() const; + size_t hash() const; /** * Returns the kind of the expression (AND, PLUS ...). |