diff options
Diffstat (limited to 'src/PushButtonSynthesis/Primitives.v')
| -rw-r--r-- | src/PushButtonSynthesis/Primitives.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/PushButtonSynthesis/Primitives.v b/src/PushButtonSynthesis/Primitives.v index e45940369..ee2793c40 100644 --- a/src/PushButtonSynthesis/Primitives.v +++ b/src/PushButtonSynthesis/Primitives.v @@ -660,7 +660,7 @@ Section __. prefix ("addcarryx_u" ++ decimal_string_of_Z s) (addcarryx s) (stringify_correctness evalf - (fun fname : string => ["The function " ++ fname ++ " is an add with carry."]%string) + (fun fname : string => ["The function " ++ fname ++ " is an addition with carry."]%string) (addcarryx_correct s)). Definition subborrowx (s : Z) @@ -680,7 +680,7 @@ Section __. prefix ("subborrowx_u" ++ decimal_string_of_Z s) (subborrowx s) (stringify_correctness evalf - (fun fname : string => ["The function " ++ fname ++ " is a sub with borrow."]%string) + (fun fname : string => ["The function " ++ fname ++ " is a subtraction with borrow."]%string) (subborrowx_correct s)). |