From b1c8461a3b738cb4383b2e23ba24f36960a8604c Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Sun, 10 Aug 2014 13:46:42 +0200
Subject: [PATCH] fixes tinavlid_array_bounds test

---
 compiler/guards.nim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/guards.nim b/compiler/guards.nim
index 4cf06fe026..431de61566 100644
--- a/compiler/guards.nim
+++ b/compiler/guards.nim
@@ -758,7 +758,7 @@ proc pleViaModelRec(m: var TModel; a, b: PNode): TImplication =
       result = impliesLe(fact, a, b)
       if result != impUnknown: return result
       if sameTree(y, a):
-        result = ple(m, x, b)
+        result = ple(m, b, x)
         if result != impUnknown: return result
 
 proc pleViaModel(model: TModel; aa, bb: PNode): TImplication =