diff options
author | Andres Notzli <andres.noetzli@gmail.com> | 2016-10-26 16:04:21 -0700 |
---|---|---|
committer | Andres Notzli <andres.noetzli@gmail.com> | 2016-10-26 16:04:21 -0700 |
commit | 29b7847ac6f6795cdc263d45726a3cd7dcaba0b0 (patch) | |
tree | abc1dc55bf81c8515e193ce1b037e68ee5d47667 /src/Makefile.am | |
parent | 68647c8baacb19724f5702f5aca21700e4aa2009 (diff) |
Fix typo in Makefile that makes distcheck failfix_dist_build2
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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 \ |