diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-03 15:17:50 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-03 15:17:50 +0000 |
| commit | 3e27983545a25f3acc3bf7c7dbdf0ec1fe3219ca (patch) | |
| tree | f3b777e613f349b173e83d7102308c23d50b15e2 /src/theory/booleans/kinds | |
| parent | b6544992abea751ec48ac0892925d7f04e5cbf10 (diff) | |
Reverting r365
Diffstat (limited to 'src/theory/booleans/kinds')
| -rw-r--r-- | src/theory/booleans/kinds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/booleans/kinds b/src/theory/booleans/kinds index bd85af69d..5fcf9299a 100644 --- a/src/theory/booleans/kinds +++ b/src/theory/booleans/kinds @@ -19,5 +19,5 @@ nonatomic_operator AND 2: "logical and" nonatomic_operator IFF 2 "logical equivalence" nonatomic_operator IMPLIES 2 "logical implication" nonatomic_operator OR 2: "logical or" -nonatomic_operator XOR 2 "exclusive or" +nonatomic_operator XOR 2: "exclusive or" nonatomic_operator ITE 3 "if-then-else" |