diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-07-03 17:11:06 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-07-03 17:11:06 -0400 |
| commit | 7e9e34c38d759d9fc9f65ab3f760bdfbcbb1ed8f (patch) | |
| tree | 7c17350dca13798111c198115469fae7f67af7a2 | |
| parent | b8bdc2301b4caa2af346cf9b30aa84445964ec79 (diff) | |
Fix a mis-aligned comment marker in CNotations script
| -rw-r--r-- | src/Compilers/Z/CNotations.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Compilers/Z/CNotations.v b/src/Compilers/Z/CNotations.v index 7262951b2..a00d4d721 100644 --- a/src/Compilers/Z/CNotations.v +++ b/src/Compilers/Z/CNotations.v @@ -127,7 +127,7 @@ Reserved Notation "'mulx_u128' ( a , b )" (format "'mulx_u128' ( a , b )"). 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_u128ℤ' ( c , a , b )"). -Reserved Notation "'addcarryx_u51ℤ' ( c , a , b )" (format "'addcarryx_u51ℤ' ( c , a , b )"). """ + r"""(* temporary for testing *""" + r""") +Reserved Notation "'addcarryx_u51ℤ' ( c , a , b )" (format "'addcarryx_u51ℤ' ( c , a , b )"). (""" + r"""* temporary for testing *""" + r""") 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_u128ℤ' ( c , a , b )"). |