From 6d8556c63e198291419e2a0a57cc16d6ecbdcf8c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@m4x.org>
Date: Tue, 27 Jul 2010 16:44:47 +0200
Subject: [PATCH] Added missing cases for causality

---
 compiler/heptagon/analysis/causal.ml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/compiler/heptagon/analysis/causal.ml b/compiler/heptagon/analysis/causal.ml
index ecd552a..6d6351b 100644
--- a/compiler/heptagon/analysis/causal.ml
+++ b/compiler/heptagon/analysis/causal.ml
@@ -122,9 +122,10 @@ let rec ctuple l =
     | Clastread(n) -> Alastread(n)
     | Ctuple(l) -> Atuple (ctuple l)
     | Cand (c1, c2) -> Aand (conv c1, conv c2)
-    | Cseq _ -> Format.printf "Unexpected seq\n"; assert false
-    | Cor _ -> Format.printf "Unexpected or\n"; assert false
-    | _ -> assert false
+    | Cseq (c1, c2) -> Aseq (conv c1, conv c2)
+    | Cor (Cempty, c2) -> conv c2
+    | Cor (c1, Cempty) -> conv c1
+    | Cempty -> assert false
   in
   match l with
     | [] -> []