From f9550d663fb40cdb747108c6ba92262d9661ba56 Mon Sep 17 00:00:00 2001
From: Hristina Palikareva <h.palikareva@imperial.ac.uk>
Date: Thu, 24 Apr 2014 17:58:38 +0100
Subject: Fixed order of domain and range in array creation in MetaSMTBuilder.

---
 lib/Solver/MetaSMTBuilder.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Solver')

diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h
index deb12e77..f1e55614 100644
--- a/lib/Solver/MetaSMTBuilder.h
+++ b/lib/Solver/MetaSMTBuilder.h
@@ -187,7 +187,7 @@ typename SolverContext::result_type MetaSMTBuilder<SolverContext>::getInitialArr
 
     if (!hashed) {
 
-        array_expr = evaluate(_solver, buildArray(root->getDomain(), root->getRange()));
+        array_expr = evaluate(_solver, buildArray(root->getRange(), root->getDomain()));
 
         if (root->isConstantArray()) {    
             for (unsigned i = 0, e = root->size; i != e; ++i) {
-- 
cgit 1.4.1