diff options
Diffstat (limited to 'pmt/src/lib/pmt_int.h')
| -rw-r--r-- | pmt/src/lib/pmt_int.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pmt/src/lib/pmt_int.h b/pmt/src/lib/pmt_int.h index 285244cb5f..a973d30d9e 100644 --- a/pmt/src/lib/pmt_int.h +++ b/pmt/src/lib/pmt_int.h @@ -151,7 +151,7 @@ class pmt_pair : public pmt_base pmt_t d_cdr; public: - pmt_pair(pmt_t car, pmt_t cdr); + pmt_pair(const pmt_t& car, const pmt_t& cdr); //~pmt_pair(){}; bool is_pair() const { return true; } |