diff options
| author | Araq <rumpf_a@web.de> | 2014-08-10 13:46:42 +0200 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2014-08-10 13:46:42 +0200 |
| commit | b1c8461a3b738cb4383b2e23ba24f36960a8604c (patch) | |
| tree | 6f84858569f7024123688c7f60a0e7ee7649b92a /compiler | |
| parent | 037d7e4e5d3f142fb8486895820c70cf2e1cf641 (diff) | |
| download | Nim-b1c8461a3b738cb4383b2e23ba24f36960a8604c.tar.gz | |
fixes tinavlid_array_bounds test
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/guards.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/guards.nim b/compiler/guards.nim index 4cf06fe02..431de6156 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 = |