diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-15 12:16:20 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-15 12:16:20 -0700 |
commit | 2a4827990b1e083a0351f4f86de6889d0bb21719 (patch) | |
tree | 57a27ad51a6a6261f875552c22ad8e7419d1d8bb /src/util/Makefile.am | |
parent | 3e2a8562b4f76bfe8b43d066bcf18dab0fa6631e (diff) |
Remove unused tuple classes (#2313)
Since we are using C++11, we can replace the triple and quad classes
with std::tuple.
Diffstat (limited to 'src/util/Makefile.am')
-rw-r--r-- | src/util/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 04d0a5b02..baa3286ab 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -35,7 +35,6 @@ libutil_la_SOURCES = \ index.cpp \ index.h \ maybe.h \ - ntuple.h \ ostream_util.cpp \ ostream_util.h \ proof.h \ |