diff options
author | Bart Jacobs <bart.jacobs@cs.kuleuven.be> | 2019-05-21 13:20:34 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-21 13:20:34 +0200 |
commit | 49e19c73ab339c3a5ad079fb38851257a1aa347a (patch) | |
tree | 56e5a953aab6f66c8447a8ff7c3d1392a1112f15 /cfrontend/Csyntax.v | |
parent | 45f7c8be7179942d9667a5a26cb1bb6f6fcd2d04 (diff) | |
download | compcert-49e19c73ab339c3a5ad079fb38851257a1aa347a.tar.gz compcert-49e19c73ab339c3a5ad079fb38851257a1aa347a.zip |
Csyntax.v: Fix a typo in a documentation comment (#292)
Diffstat (limited to 'cfrontend/Csyntax.v')
-rw-r--r-- | cfrontend/Csyntax.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cfrontend/Csyntax.v b/cfrontend/Csyntax.v index 914328be..00565309 100644 --- a/cfrontend/Csyntax.v +++ b/cfrontend/Csyntax.v @@ -41,7 +41,7 @@ Inductive expr : Type := (**r binary arithmetic operation *) | Ecast (r: expr) (ty: type) (**r type cast [(ty)r] *) | Eseqand (r1 r2: expr) (ty: type) (**r sequential "and" [r1 && r2] *) - | Eseqor (r1 r2: expr) (ty: type) (**r sequential "or" [r1 && r2] *) + | Eseqor (r1 r2: expr) (ty: type) (**r sequential "or" [r1 || r2] *) | Econdition (r1 r2 r3: expr) (ty: type) (**r conditional [r1 ? r2 : r3] *) | Esizeof (ty': type) (ty: type) (**r size of a type *) | Ealignof (ty': type) (ty: type) (**r natural alignment of a type *) |