diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-10 10:58:56 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-10 10:58:56 +0200 |
| commit | fee760b5c08afa9c81b5f28b35afd3514f643770 (patch) | |
| tree | 526f3e7d2c5da4e0132bf58797c0a9b4dccb8840 /abstract/formula.ml | |
| parent | e06a4102e5b2a81c7b1c24323cafc863eefbc0cb (diff) | |
| download | scade-analyzer-fee760b5c08afa9c81b5f28b35afd3514f643770.tar.gz scade-analyzer-fee760b5c08afa9c81b5f28b35afd3514f643770.zip | |
Fix a few things, this doesn't work well.
Diffstat (limited to 'abstract/formula.ml')
| -rw-r--r-- | abstract/formula.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/abstract/formula.ml b/abstract/formula.ml index 5cbe0c9..a124a84 100644 --- a/abstract/formula.ml +++ b/abstract/formula.ml @@ -277,6 +277,8 @@ let rec split_cases c = match c with | BOr(a, b) -> true, a::(BAnd(BNot a, b))::l + | BTernary(c, a, b) -> + true, (BAnd(c, a))::(BAnd(BNot c, b))::l | x -> u, x::l) (false, []) c in |