From: Andres Notzli <andres.noetzli@gmail.com>
Date: Wed, 26 Oct 2016 23:04:21 +0000 (-0700)
Subject: Fix typo in Makefile that makes distcheck fail
X-Git-Tag: cvc5-1.0.0~6018^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a4bc1c061701c01bb82cce6505aeda61b3608f9f;p=cvc5.git

Fix typo in Makefile that makes distcheck fail
---

diff --git a/src/Makefile.am b/src/Makefile.am
index 6117ca057..2ee777afe 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -270,7 +270,7 @@ libcvc4_la_SOURCES = \
 	theory/sets/theory_sets_type_rules.h \
 	theory/sets/theory_sets_rels.cpp \
 	theory/sets/theory_sets_rels.h \
-	theory/sets/rel_utils.h \
+	theory/sets/rels_utils.h \
 	theory/strings/theory_strings.h \
 	theory/strings/theory_strings.cpp \
 	theory/strings/theory_strings_rewriter.h \