From fee760b5c08afa9c81b5f28b35afd3514f643770 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Thu, 10 Jul 2014 10:58:56 +0200
Subject: Fix a few things, this doesn't work well.

---
 abstract/formula.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'abstract/formula.ml')

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
-- 
cgit v1.2.3