From 730ea7d49ae56f8674e63ac9085adf06b6adf6f5 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 28 Sep 2012 22:31:12 +0000
Subject: [PATCH] fix distribution of cvc4_assert.i

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

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index 1848ef764..6c3104760 100644
--- 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 \
-- 
2.30.2