From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 28 Sep 2012 22:31:12 +0000 (+0000)
Subject: fix distribution of cvc4_assert.i
X-Git-Tag: cvc5-1.0.0~7767
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=730ea7d49ae56f8674e63ac9085adf06b6adf6f5;p=cvc5.git

fix distribution of cvc4_assert.i
---

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 \