diff options
author | Jason Gross <jgross@mit.edu> | 2019-01-30 23:04:35 -0500 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2019-02-02 18:22:15 -0500 |
commit | 6fbafbb3a90a5491103e0044042bfc726b9eab7b (patch) | |
tree | b7a733d1d46937b142a82f4e4010a50cda468a28 /src/PushButtonSynthesis/Primitives.v | |
parent | 496271f86e9dc6df1b23a189d6b8fd2a82db33aa (diff) |
Address code review comments to improve docstrings
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)). |