From 363dc9881a3b249978eec76c7c2b77eb2ef459ea Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 19 Nov 2014 10:27:59 -0500
Subject: [PATCH] Distribute UnsafeInterruptException interface file for SWIG.

---
 src/util/Makefile.am | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index a6543391d..cca98db60 100644
--- a/src/util/Makefile.am
+++ b/src/util/Makefile.am
@@ -162,6 +162,7 @@ EXTRA_DIST = \
 	chain.i \
 	regexp.i \
 	resource_manager.i \
+	unsafe_interrupt_exception.i \
 	proof.i \
 	unsat_core.i
 
-- 
2.30.2