From 9b4853dbcaa6c81946d71dae76c5901cefa5dc14 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 1 May 2010 08:28:39 -0600 Subject: [PATCH] fix ctool prop --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 7d78e341c4..05454f143e 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -523,7 +523,7 @@ path/s is either such a string or a list of them. "collects/browser/tool.rkt" drdr:command-line "mred-text -t ~s" "collects/combinator-parser" responsible (kathyg) "collects/compiler" responsible (mflatt) -"collects/compiler/commands/c-ext.rkt" drdr:command-line "" +"collects/compiler/commands/ctool.rkt" drdr:command-line "" "collects/compiler/commands/exe-dir.rkt" drdr:command-line "" "collects/compiler/commands/exe.rkt" drdr:command-line "" "collects/compiler/commands/pack.rkt" drdr:command-line ""