From f324724abccf1640d9641c27e52420695d535cc5 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 3 Jan 2013 17:43:48 -0800
Subject: [PATCH] Fix typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/mpz.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/mpz.h b/src/util/mpz.h
index 72faea771..c7c1a880f 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -374,7 +374,7 @@ public:
     }
 
 
-    // d <- a + b*c
+    // d <- a - b*c
     void submul(mpz const & a, mpz const & b, mpz const & c, mpz & d) {
         if (is_one(b)) {
             sub(a, c, d);