From c6e68289da3aaa3ae875b63a9ba9e0fbe89a8ed9 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 16 Jul 2013 17:38:51 -0700
Subject: [PATCH] Fix cygwin problems

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/debug.cpp     | 1 +
 src/util/exception.cpp | 2 +-
 src/util/exception.h   | 2 +-
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/util/debug.cpp b/src/util/debug.cpp
index 32e8f710c..9dd2c075e 100644
--- a/src/util/debug.cpp
+++ b/src/util/debug.cpp
@@ -10,6 +10,7 @@ Author: Leonardo de Moura
 #include <set>
 #include <string>
 #include <memory>
+#include <cstdlib>
 
 #ifndef _WINDOWS
 // Support for pid
diff --git a/src/util/exception.cpp b/src/util/exception.cpp
index 689dbd162..092a18538 100644
--- a/src/util/exception.cpp
+++ b/src/util/exception.cpp
@@ -17,7 +17,7 @@ exception::exception(std::string const & msg):m_msg(msg) {
 exception::exception(exception const & e):m_msg(e.m_msg) {
 }
 
-exception::~exception() {
+exception::~exception() noexcept {
 }
 
 char const * exception::what() const noexcept {
diff --git a/src/util/exception.h b/src/util/exception.h
index 05c864ad7..6e30220ad 100644
--- a/src/util/exception.h
+++ b/src/util/exception.h
@@ -16,7 +16,7 @@ public:
     exception(char const * msg);
     exception(std::string const & msg);
     exception(exception const & ex);
-    virtual ~exception();
+    virtual ~exception() noexcept;
     virtual char const * what() const noexcept;
 };