diff options
| -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 \ |