diff options
Diffstat (limited to 'src/Util/ZUtil/Definitions.v')
-rw-r--r-- | src/Util/ZUtil/Definitions.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Util/ZUtil/Definitions.v b/src/Util/ZUtil/Definitions.v index a8dbc5e96..a74e4b8f4 100644 --- a/src/Util/ZUtil/Definitions.v +++ b/src/Util/ZUtil/Definitions.v @@ -15,5 +15,5 @@ Module Z. Definition add_with_get_carry (bitwidth : Z) (c : Z) (x y : Z) : Z * Z := get_carry bitwidth (add_with_carry c x y). Definition add_get_carry (bitwidth : Z) (x y : Z) : Z * Z - := get_carry bitwidth (x + y). + := add_with_get_carry bitwidth 0 x y. End Z. |