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 20:50:10 -0700 |
commit | a4bc1c061701c01bb82cce6505aeda61b3608f9f (patch) | |
tree | 483eb840f6d3dab9d9f235256e4ded3d233b4fd0 /src/Makefile.am | |
parent | 9f9bb26c58f386dbcce92655e3159a7665dd9eb0 (diff) |
Fix typo in Makefile that makes distcheck fail
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 \ |