diff options
Diffstat (limited to 'src/util/triple.h')
-rw-r--r-- | src/util/triple.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/triple.h b/src/util/triple.h index 50bf30c4a..3a6f841c4 100644 --- a/src/util/triple.h +++ b/src/util/triple.h @@ -13,7 +13,8 @@ ** ** \brief Similar to std::pair<>, for triples ** - ** Similar to std::pair<>, for triples. + ** Similar to std::pair<>, for triples. Once we move to c++0x, this + ** can be removed in favor of (standard-provided) N-ary tuples. **/ #include "cvc4_private.h" |