# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1295545842 18000
# Node ID e8bea46f8edaea462ee0fac0db1ef71116f368d7
# Parent  8631e9ed0ee8240306bc2f26ba7c150d03790a4b
Fix the two functions I just added

diff -r 8631e9ed0ee8 -r e8bea46f8eda lib/ur/top.ur
--- a/lib/ur/top.ur	Thu Jan 20 12:43:12 2011 -0500
+++ b/lib/ur/top.ur	Thu Jan 20 12:50:42 2011 -0500
@@ -276,7 +276,7 @@
               | x :: ls => <xml>{f i x}{qxi ls (i+1)}</xml>
     in
         ls <- queryL q;
-        return (qxi ls 0)
+        return (qxi (rev ls) 0)
     end
 
 fun queryX1 [nm ::: Name] [fs ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}]
@@ -296,7 +296,7 @@
               | x :: ls => <xml>{f i x.nm}{qx1i ls (i+1)}</xml>
     in
         ls <- queryL q;
-        return (qx1i ls 0)
+        return (qx1i (rev ls) 0)
     end
 
 fun queryX' [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}]