From ba99cb4dbf58f164a3184bf66b7ef3f8a2476216 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Fri, 16 Oct 2009 22:30:04 +0000
Subject: [PATCH] More fixes for DrDr

svn: r16345
---
 collects/redex/examples/arithmetic.ss | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/collects/redex/examples/arithmetic.ss b/collects/redex/examples/arithmetic.ss
index 7c8ee28f80..de1cc90fed 100644
--- a/collects/redex/examples/arithmetic.ss
+++ b/collects/redex/examples/arithmetic.ss
@@ -38,5 +38,10 @@
    [(--> (in-hole e-ctxt_1 a) (in-hole e-ctxt_1 b))
     (c--> a b)]))
 
+(define traces-file
+  (make-temporary-file "traces~a.ps"))
+
 (traces/ps reductions (term (- (* (sqrt 36) (/ 1 2)) (+ 1 2)))
-           "/home/mflatt/Desktop/p.ps")
+           traces-file)
+
+(printf "Traces are in ~a~n" traces-file)
\ No newline at end of file