From d7b9857f7b70a4a61ae128f9fc7356306e40a865 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 2 Oct 2010 17:44:09 -0400 Subject: [PATCH] Remove unused definition. --- collects/drracket/private/rep.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/drracket/private/rep.rkt b/collects/drracket/private/rep.rkt index c676f8c4ec..ba5bdf44bb 100644 --- a/collects/drracket/private/rep.rkt +++ b/collects/drracket/private/rep.rkt @@ -42,7 +42,6 @@ TODO ;; run a thunk, and if an exception is raised, make it possible to cut the ;; stack so that the surrounding context is hidden -(define stack-checkpoint (make-parameter #f)) (define checkpoints (make-weak-hasheq)) (define (call-with-stack-checkpoint thunk) (define checkpoint #f)