2 files changed, 1 insertions, 11 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc
index 1b021d0b0..4ad1faec3 100644
--- a/src/libmain/shared.cc
+++ b/src/libmain/shared.cc
@@ -407,6 +407,4 @@ PrintFreed::~PrintFreed()
             showBytes(results.bytesFreed));
 }
 
-Exit::~Exit() { }
-
 }
diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh
index 9415be78a..2b15d3368 100644
--- a/src/libmain/shared.hh
+++ b/src/libmain/shared.hh
@@ -6,6 +6,7 @@
 #include "common-args.hh"
 #include "path.hh"
 #include "derived-path.hh"
+#include "exit.hh"
 
 #include <signal.h>
 
@@ -14,15 +15,6 @@
 
 namespace nix {
 
-class Exit : public std::exception
-{
-public:
-    int status;
-    Exit() : status(0) { }
-    Exit(int status) : status(status) { }
-    virtual ~Exit();
-};
-
 int handleExceptions(const std::string & programName, std::function<void()> fun);
 
 /**