projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9f9bb26)
Fix typo in Makefile that makes distcheck fail
authorAndres Notzli <andres.noetzli@gmail.com>
Wed, 26 Oct 2016 23:04:21 +0000 (16:04 -0700)
committerAndres Notzli <andres.noetzli@gmail.com>
Thu, 27 Oct 2016 03:50:10 +0000 (20:50 -0700)
src/Makefile.am patch | blob | history

diff --git a/src/Makefile.am b/src/Makefile.am
index 6117ca0572c4add54feaf39c40d7daf40f8ddba9..2ee777afe01a68d472328f20c1d20a363b504a4f 100644 (file)
--- 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 \