From dc5276ac41e7e638b38d913f43119cd19e5fef2f Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <alejandro@mosteo.com>
Date: Tue, 12 Jun 2018 18:23:34 +0200
Subject: [PATCH] Fix for bug that arised during AdaCore talk

---
 src/alire-conditional_trees.adb | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/alire-conditional_trees.adb b/src/alire-conditional_trees.adb
index 50253b36..0204c52e 100644
--- a/src/alire-conditional_trees.adb
+++ b/src/alire-conditional_trees.adb
@@ -162,13 +162,9 @@ package body Alire.Conditional_Trees is
                   Visit (Conditional_Inner (Inner).Else_Value.Constant_Reference);
                end if;
             when Vector =>
-               if Vector_Inner (Inner).Conjunction = Anded then
-                  for Child of Vector_Inner (Inner).Values loop
-                     Visit (Child);
-                  end loop;
-               else
-                  raise Constraint_Error with "OR trees cannot be materialized as list";
-               end if;
+               for Child of Vector_Inner (Inner).Values loop
+                  Visit (Child);
+               end loop;
          end case;
       end Visit;