From c93f74f7819a08f07011fb7e7eb41202366844c6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 3 Mar 2009 23:05:25 +0000 Subject: [PATCH] fix private library name svn: r13933 original commit: 2d1617e282948d21961721c87867de4811230fd3 --- collects/scriblib/gui-eval.ss | 2 +- collects/scriblib/private/{mr-eval-exn.ss => gui-eval-exn.ss} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename collects/scriblib/private/{mr-eval-exn.ss => gui-eval-exn.ss} (100%) diff --git a/collects/scriblib/gui-eval.ss b/collects/scriblib/gui-eval.ss index e2ccbcfc..af33dd30 100644 --- a/collects/scriblib/gui-eval.ss +++ b/collects/scriblib/gui-eval.ss @@ -7,7 +7,7 @@ scheme/file scheme/runtime-path scheme/serialize - "private/mr-eval-exn.ss" + "private/gui-eval-exn.ss" scheme/system) (define-syntax define-mr diff --git a/collects/scriblib/private/mr-eval-exn.ss b/collects/scriblib/private/gui-eval-exn.ss similarity index 100% rename from collects/scriblib/private/mr-eval-exn.ss rename to collects/scriblib/private/gui-eval-exn.ss