More fixes for DrDr
svn: r16345
This commit is contained in:
parent
e78faf0669
commit
ba99cb4dbf
|
@ -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)
|
Loading…
Reference in New Issue
Block a user