From 13d3016c85f08e5d5199c9b282823f70b4eeddfb Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Sun, 13 Sep 2015 18:57:01 -0400
Subject: [PATCH] Fixed order in which tactic scripts are printed

---
 stdlib/tactics/basic.rkt      | 2 +-
 stdlib/tactics/sartactics.rkt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/stdlib/tactics/basic.rkt b/stdlib/tactics/basic.rkt
index 3a285d2..37f8b33 100644
--- a/stdlib/tactics/basic.rkt
+++ b/stdlib/tactics/basic.rkt
@@ -80,7 +80,7 @@
         [(quit)
          (begin
            (printf "Your tactic script:~n")
-           (pretty-print (map syntax->datum cmds))
+           (pretty-print (reverse (map syntax->datum cmds)))
            (newline)
            ps)]
         ;; TODO: Maybe use (read-eval-print-loop) and its
diff --git a/stdlib/tactics/sartactics.rkt b/stdlib/tactics/sartactics.rkt
index 230ff7f..362dd67 100644
--- a/stdlib/tactics/sartactics.rkt
+++ b/stdlib/tactics/sartactics.rkt
@@ -104,7 +104,7 @@
          (if (< (random 10) 4)
              (begin
                (printf "Don't forget this. It took you long enough:~n")
-               (pretty-print (map syntax->datum cmds))
+               (pretty-print (reverse (map syntax->datum cmds)))
                (newline)
                ps)
              (begin