From f4200a0aa90e2641ce1b0b1c54d00d9d4dd3b73e Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Thu, 19 Jun 2014 13:47:00 +0200
Subject: Did most of the boring stuff. Now, work on the abstract domain.

---
 interpret/interpret.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'interpret')

diff --git a/interpret/interpret.ml b/interpret/interpret.ml
index b9a5576..27cecdb 100644
--- a/interpret/interpret.ml
+++ b/interpret/interpret.ml
@@ -210,6 +210,7 @@ end = struct
       | [VBool false] -> sub_eval b
       | _ -> type_error "Invalid condition in if."
       end
+    | AST_tuple x -> List.flatten (List.map sub_eval x)
     | AST_instance((f, _), args, nid) ->
       let (n, _) = find_node_decl env.st.p f in
       List.map
-- 
cgit v1.2.3