diff options
author | eb | 2009-07-15 01:18:56 +0000 |
---|---|---|
committer | eb | 2009-07-15 01:18:56 +0000 |
commit | 962e22878b5ef6aa3280fafefb2732db84a69258 (patch) | |
tree | ab0beb9f91494de1a00a7922aab3c8d766ebf7c9 | |
parent | fc31a4e374b1b80c974209f0fdccbc3eed1997e4 (diff) | |
download | gnuradio-962e22878b5ef6aa3280fafefb2732db84a69258.tar.gz gnuradio-962e22878b5ef6aa3280fafefb2732db84a69258.tar.bz2 gnuradio-962e22878b5ef6aa3280fafefb2732db84a69258.zip |
Minor optimation, assume well formed list as common case (c1255 from Stefan BrĂ¼ns)
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@11436 221aa14e-8319-0410-a670-987f0aec2ac5
-rw-r--r-- | pmt/src/lib/pmt.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pmt/src/lib/pmt.cc b/pmt/src/lib/pmt.cc index f233a1398..e854e2756 100644 --- a/pmt/src/lib/pmt.cc +++ b/pmt/src/lib/pmt.cc @@ -864,7 +864,7 @@ pmt_nth(size_t n, pmt_t list) pmt_t pmt_nthcdr(size_t n, pmt_t list) { - if (!(pmt_is_null(list) || pmt_is_pair(list))) + if (!(pmt_is_pair(list) || pmt_is_null(list))) throw pmt_wrong_type("pmt_nthcdr", list); while (n > 0){ |