diff options
author | 2017-06-18 20:59:26 -0400 | |
---|---|---|
committer | 2017-06-18 20:59:26 -0400 | |
commit | 4ca9c661db6d99a98075c566cc74c9352b2a9c8c (patch) | |
tree | ad388f96a3198a13e6108566271b98281e21d2cd /src/Compilers/Z | |
parent | 4e3d86a25a56989ec043ae8be3b7ef3a367b6e3c (diff) |
Fix typo in format
Diffstat (limited to 'src/Compilers/Z')
-rw-r--r-- | src/Compilers/Z/CNotations.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Compilers/Z/CNotations.v b/src/Compilers/Z/CNotations.v index 7af850f60..1c0b9e40e 100644 --- a/src/Compilers/Z/CNotations.v +++ b/src/Compilers/Z/CNotations.v @@ -40,15 +40,15 @@ Reserved Notation "T0 out ; T1 c_out = '_addcarryx_u64' ( c_in , a , b , & out ) >> *) Reserved Notation "'addcarryx_u32' ( c , a , b )" (format "'addcarryx_u32' ( c , a , b )"). Reserved Notation "'addcarryx_u64' ( c , a , b )" (format "'addcarryx_u64' ( c , a , b )"). -Reserved Notation "'addcarryx_u128' ( c , a , b )" (format "'addcarryx_u64' ( c , a , b )"). +Reserved Notation "'addcarryx_u128' ( c , a , b )" (format "'addcarryx_u128' ( c , a , b )"). Reserved Notation "'addcarryx_u51' ( c , a , b )" (format "'addcarryx_u51' ( c , a , b )"). (* temporary for testing *) Reserved Notation "'subborrow_u32' ( c , a , b )" (format "'subborrow_u32' ( c , a , b )"). Reserved Notation "'subborrow_u64' ( c , a , b )" (format "'subborrow_u64' ( c , a , b )"). -Reserved Notation "'subborrow_u128' ( c , a , b )" (format "'subborrow_u64' ( c , a , b )"). +Reserved Notation "'subborrow_u128' ( c , a , b )" (format "'subborrow_u128' ( c , a , b )"). Reserved Notation "'subborrow_u51' ( c , a , b )" (format "'subborrow_u51' ( c , a , b )"). (* temporary for testing *) Reserved Notation "'mulx_u32' ( a , b )" (format "'mulx_u32' ( a , b )"). Reserved Notation "'mulx_u64' ( a , b )" (format "'mulx_u64' ( a , b )"). -Reserved Notation "'mulx_u128' ( a , b )" (format "'mulx_u64' ( a , b )"). +Reserved Notation "'mulx_u128' ( a , b )" (format "'mulx_u128' ( a , b )"). (* python: << |