fix distribution of cvc4_assert.i

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index 1848ef7644602ff4e78a22ada70a3e3156a0a07d..6c310476083d480ea400c0661a540cd6cf9f86f2 100644 (file)
--- a/src/util/Makefile.am
+++ b/src/util/Makefile.am
@@ -128,7 +128,7 @@ EXTRA_DIST = \
        cardinality.i \
        result.i \
        configuration.i \
-       Assert.i \
+       cvc4_assert.i \
        bitvector.i \
        subrange_bound.i \
        exception.i \