From 9486dda1152d18b502fc31ff1d6aed4eba6f2fe3 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Sat, 22 Nov 2003 20:39:51 +0000
Subject: * Fix nix-push.

---
 src/nix-instantiate/main.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/nix-instantiate/main.cc')

diff --git a/src/nix-instantiate/main.cc b/src/nix-instantiate/main.cc
index f63789fc4b4a..50a4991a53a8 100644
--- a/src/nix-instantiate/main.cc
+++ b/src/nix-instantiate/main.cc
@@ -53,8 +53,8 @@ static void printNixExpr(EvalState & state, Expr e)
         }
     }
 
-    if (ATgetType(e) == AT_LIST) {
-        for (ATermIterator i((ATermList) e); i; ++i)
+    if (atMatch(m, e) >> "List" >> es) {
+        for (ATermIterator i(es); i; ++i)
             printNixExpr(state, evalExpr(state, *i));
         return;
     }
-- 
cgit 1.4.1