From 7c1e935bc28148cda705f0bc8fcae54836217a8d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 5 Jun 2019 22:17:09 -0700
Subject: [PATCH] rlimit mux

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/rlimit.cpp | 2 --
 src/util/rlimit.h   | 1 +
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/util/rlimit.cpp b/src/util/rlimit.cpp
index 94e1ab970..ac596a118 100644
--- a/src/util/rlimit.cpp
+++ b/src/util/rlimit.cpp
@@ -87,7 +87,6 @@ void reslimit::cancel() {
     set_cancel(m_cancel+1);    
 }
 
-
 void reslimit::reset_cancel() {
     lock_guard lock(g_rlimit_mux);
     set_cancel(0);    
@@ -98,7 +97,6 @@ void reslimit::inc_cancel() {
     set_cancel(m_cancel+1);    
 }
 
-
 void reslimit::dec_cancel() {
     lock_guard lock(g_rlimit_mux);
     if (m_cancel > 0) {
diff --git a/src/util/rlimit.h b/src/util/rlimit.h
index c118a1093..18124717a 100644
--- a/src/util/rlimit.h
+++ b/src/util/rlimit.h
@@ -20,6 +20,7 @@ Revision History:
 
 #include "util/vector.h"
 
+
 class reslimit {
     volatile unsigned   m_cancel;
     bool            m_suspend;