From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 19 Nov 2014 15:27:59 +0000 (-0500)
Subject: Distribute UnsafeInterruptException interface file for SWIG.
X-Git-Tag: cvc5-1.0.0~6483
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=363dc9881a3b249978eec76c7c2b77eb2ef459ea;p=cvc5.git

Distribute UnsafeInterruptException interface file for SWIG.
---

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