Distribute UnsafeInterruptException interface file for SWIG.

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index a6543391dd12876c050f98e7740317b19b2bf35c..cca98db607c8b1db3d2a54a8cf4bc7708a58f4c8 100644 (file)
--- 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