From df363bf30b56c48a12c352845efa3a4d8f75b388 Mon Sep 17 00:00:00 2001
From: Fan Zhang <bl4ck5unxx@gmail.com>
Date: Tue, 18 May 2021 00:06:27 -0400
Subject: [PATCH] Add a constructor that takes bits (#128)

* Add a constructor that takes bits

* Update integer.h
---
 emp-tool/circuits/integer.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/emp-tool/circuits/integer.h b/emp-tool/circuits/integer.h
index 20cadac..1f38e16 100644
--- a/emp-tool/circuits/integer.h
+++ b/emp-tool/circuits/integer.h
@@ -16,6 +16,8 @@ class Integer : public Swappable<Integer>, public Comparable<Integer> { public:
 	vector<Bit> bits;
 	Integer(){
 	}
+	Integer(const vector<Bit>& bits): bits(bits) {
+	}
 	Integer(int length, int64_t input, int party = PUBLIC);
 
 	template<typename T>