From 138c427bcbc801d4a7ca28cd55d7dbad7b351bff Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Tue, 11 Jul 2017 22:53:59 +0100
Subject: [PATCH] fix(library/vm_int): correct mpz implementation for int.rem

---
 src/library/vm/vm_int.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/vm/vm_int.cpp b/src/library/vm/vm_int.cpp
index c1b03c081b..d26e4e4b2e 100644
--- a/src/library/vm/vm_int.cpp
+++ b/src/library/vm/vm_int.cpp
@@ -146,7 +146,7 @@ vm_obj int_rem(vm_obj const & a1, vm_obj const & a2) {
         if (v2 == 0)
             return a1;
         else
-            return mk_vm_int(v1 % v2);
+            return mk_vm_int(rem(v1, v2));
     }
 }