From bc9ff7095fbfa1812e4f47dbf8531dec76cd0d00 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Mon, 20 Feb 2012 17:20:16 -0600
Subject: Introduced a new SCOPE expression terminal

---
 src/compare.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/compare.cc')

diff --git a/src/compare.cc b/src/compare.cc
index 12114c7d..cdc96a86 100644
--- a/src/compare.cc
+++ b/src/compare.cc
@@ -44,7 +44,7 @@ void push_sort_value(std::list<sort_value_t>& sort_values,
   if (node->kind == expr_t::op_t::O_CONS) {
     while (node && node->kind == expr_t::op_t::O_CONS) {
       push_sort_value(sort_values, node->left(), scope);
-      node = node->right();
+      node = node->has_right() ? node->right() : NULL;
     }
   } else {
     bool inverted = false;
-- 
cgit v1.2.3