diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-10-14 13:15:15 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-10-14 13:15:15 -0400 |
| commit | 076f3157c4b28c2b22544ee420187c93db8604b9 (patch) | |
| tree | bc857aea7afe57498d6d35a4fd6cacd9130a1276 | |
| parent | c1181f65198ae081912f93e546ef23dbcdb2dc51 (diff) | |
Fix a typo in the previous commit
| -rw-r--r-- | src/BoundedArithmetic/Double/Core.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/BoundedArithmetic/Double/Core.v b/src/BoundedArithmetic/Double/Core.v index 445fef971..82b450e76 100644 --- a/src/BoundedArithmetic/Double/Core.v +++ b/src/BoundedArithmetic/Double/Core.v @@ -69,7 +69,7 @@ Section tuple2. dlet y := y in let (x1, x2) := eta x in let (y1, y2) := eta y in - (selc b x1 x1, selc b x2 y2). + (selc b x1 y1, selc b x2 y2). Global Instance selc_double : select_conditional (tuple W 2) := { selc := select_conditional_double }. @@ -97,7 +97,7 @@ Section tuple2. dlet y := y in let (x1, x2) := eta x in let (y1, y2) := eta y in - (or x1 x1, or x2 y2). + (or x1 y1, or x2 y2). Global Instance or_double : bitwise_or (tuple W 2) := { or := bitwise_or_double }. @@ -112,7 +112,7 @@ Section tuple2. dlet y := y in let (x1, x2) := eta x in let (y1, y2) := eta y in - (and x1 x1, and x2 y2). + (and x1 y1, and x2 y2). Global Instance and_double : bitwise_and (tuple W 2) := { and := bitwise_and_double }. |