From 45610ae675f6f8d6ecbd48c495cb7012b143d531 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Sun, 16 Nov 2003 18:31:29 +0000
Subject: * An forward non-random access input iterator class for ATermLists.

---
 src/fix-ng/fix.cc | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/fix-ng/fix.cc')

diff --git a/src/fix-ng/fix.cc b/src/fix-ng/fix.cc
index 49f19669a08b..3b7dae38eb77 100644
--- a/src/fix-ng/fix.cc
+++ b/src/fix-ng/fix.cc
@@ -54,10 +54,8 @@ static void printNixExpr(EvalState & state, Expr e)
     }
 
     if (ATgetType(e) == AT_LIST) {
-        while (!ATisEmpty(es)) {
-            printNixExpr(state, evalExpr(state, ATgetFirst(es)));
-            es = ATgetNext(es);
-        }
+        for (ATermIterator i((ATermList) e); i; ++i)
+            printNixExpr(state, evalExpr(state, *i));
         return;
     }
 
-- 
cgit 1.4.1