From 4ca9c661db6d99a98075c566cc74c9352b2a9c8c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 18 Jun 2017 20:59:26 -0400 Subject: Fix typo in format --- src/Compilers/Z/CNotations.v | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src') 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: << -- cgit v1.2.3