From 290b704d861d4b255a35d5e113a702003e9a9736 Mon Sep 17 00:00:00 2001
From: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Date: Mon, 2 May 2011 08:47:57 +0200
Subject: [PATCH] typo caught by gcc 4.6.0 reported by John Abraham

---
 src/core/model/int64x64-128.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/model/int64x64-128.cc b/src/core/model/int64x64-128.cc
index 187881440..fe4194b76 100644
--- a/src/core/model/int64x64-128.cc
+++ b/src/core/model/int64x64-128.cc
@@ -113,7 +113,7 @@ int64x64_t::UmulByInvert (uint128_t a, uint128_t b)
   hi = ah * bh;
   mid = ah * bl + al * bh;
   mid >>= 64;
-  result = ah * bh + mid;
+  result = hi + mid;
   return result;
 }
 int64x64_t