From a4bc1c061701c01bb82cce6505aeda61b3608f9f Mon Sep 17 00:00:00 2001 From: Andres Notzli Date: Wed, 26 Oct 2016 16:04:21 -0700 Subject: [PATCH] Fix typo in Makefile that makes distcheck fail --- src/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 \ -- 2.30.2