From: Tim King <taking@cs.nyu.edu>
Date: Sat, 10 Nov 2012 23:56:46 +0000 (+0000)
Subject: Beautifying integer_cln_imp.h
X-Git-Tag: cvc5-1.0.0~7620
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a4bebb3ec1e27b433b63dcb2b82f6385e0c40561;p=cvc5.git

Beautifying integer_cln_imp.h
---

diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h
index c48e93d57..78b775bee 100644
--- a/src/util/integer_cln_imp.h
+++ b/src/util/integer_cln_imp.h
@@ -222,10 +222,10 @@ public:
   }
 
   Integer bitwiseNot() const {
-    return Integer(cln::lognot(d_value));  
+    return Integer(cln::lognot(d_value));
   }
-  
-  
+
+
   /**
    * Return this*(2^pow).
    */
@@ -239,15 +239,15 @@ public:
     cln::cl_byte range(amount, size);
     cln::cl_I allones = (cln::cl_I(1) << (size + amount))- 1; // 2^size - 1
     Integer temp(allones);
-    
-    return Integer(cln::deposit_field(allones, d_value, range)); 
+
+    return Integer(cln::deposit_field(allones, d_value, range));
   }
-  
+
   uint32_t toUnsignedInt() const {
-    return cln::cl_I_to_uint(d_value); 
+    return cln::cl_I_to_uint(d_value);
   }
-  
-  
+
+
   /** See CLN Documentation. */
   Integer extractBitRange(uint32_t bitCount, uint32_t low) const {
     cln::cl_byte range(bitCount, low);
@@ -304,9 +304,9 @@ public:
   }
 
   Integer divByPow2(uint32_t exp) const {
-    return d_value >> exp; 
+    return d_value >> exp;
   }
-  
+
   /**
    * Raise this Integer to the power <code>exp</code>.
    *