From a115a1538bd39d3a338694c3dfc19bf9134dff06 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 15 Feb 2018 16:25:17 -0800
Subject: [PATCH] chore(library/vm/vm_io): style

---
 src/library/vm/vm_io.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/library/vm/vm_io.cpp b/src/library/vm/vm_io.cpp
index ca51bd362a..7f2e64dce7 100644
--- a/src/library/vm/vm_io.cpp
+++ b/src/library/vm/vm_io.cpp
@@ -561,7 +561,7 @@ vm_obj io_rand(vm_obj const & lo, vm_obj const & hi, vm_obj const &) {
             if (optional<unsigned> hi1 = try_to_unsigned(hi)) {
                 unsigned r = 0;
                 if (*lo1 < *hi1) {
-                    r = *lo1 + (std::rand() % (*hi1 - *lo1));
+                    r = *lo1 + (std::rand() % (*hi1 - *lo1)); // NOLINT
                 }
                 return mk_io_result(mk_vm_nat(r));
             }
@@ -570,7 +570,7 @@ vm_obj io_rand(vm_obj const & lo, vm_obj const & hi, vm_obj const &) {
         mpz const & hi1 = vm_nat_to_mpz2(hi);
         mpz r(0);
         if (lo1 < hi1) {
-            r = lo1 + (mpz(std::rand()) % (hi1 - lo1));
+            r = lo1 + (mpz(std::rand()) % (hi1 - lo1)); // NOLINT
         }
         return mk_io_result(mk_vm_nat(r));
     } else {