From f34d0f736b0f4270c7cf443e895d07c3ba1a90a6 Mon Sep 17 00:00:00 2001
From: Michael Kuc <michaelkuc6@gmail.com>
Date: Sun, 17 Nov 2019 21:44:42 +0000
Subject: [PATCH] Fixed build.

---
 Tupfile          | 2 +-
 src/register.hpp | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Tupfile b/Tupfile
index acda183..18bf392 100644
--- a/Tupfile
+++ b/Tupfile
@@ -1,5 +1,5 @@
 CXX      = g++
-CXXFLAGS = -pedantic -std=c++17 -Wall -Wno-unused-parameter -Wno-reorder -Wno-sign-compare -Wno-address -Wno-noexcept-type -Wno-unknown-attributes -Wno-unknown-warning-option
+CXXFLAGS = -pedantic -std=c++17 -Wall -Wno-unused-parameter -Wno-reorder -Wno-sign-compare -Wno-address -Wno-noexcept-type
 CPPFLAGS =
 LDFLAGS  =
 LIBS     = -lgmpxx -lgmp
diff --git a/src/register.hpp b/src/register.hpp
index 5b081b7..5acf69c 100644
--- a/src/register.hpp
+++ b/src/register.hpp
@@ -3,6 +3,7 @@
 #include <cstdint>
 #include <gmpxx.h>
 #include <utility>
+#include <vector>
 
 using Register = mpz_class;
 using RegIndex = uint16_t;