diff options
Diffstat (limited to 'tools/standalone_miri/u128.hpp')
| -rw-r--r-- | tools/standalone_miri/u128.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/standalone_miri/u128.hpp b/tools/standalone_miri/u128.hpp index 8403b94a..9a28c151 100644 --- a/tools/standalone_miri/u128.hpp +++ b/tools/standalone_miri/u128.hpp @@ -7,6 +7,7 @@ class U128 public: U128(): lo(0), hi(0) {} + explicit U128(uint64_t v): lo(v), hi(0) {} U128(uint8_t v): lo(v), hi(0) {} U128(int8_t v): lo(v), hi(v < 0 ? -1 : 0) {} |