From 8cdf6be92862ef0c0d2b9f4791eff2bdfe192414 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 28 Jul 2012 07:30:21 -0400 Subject: [PATCH] Fix how props checks itself. --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 52a2715a6f..52646419e2 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -803,7 +803,7 @@ path/s is either such a string or a list of them. "collects/meta/drdr" responsible (jay) drdr:command-line #f "collects/meta/drdr2" responsible (jay) drdr:command-line #f "collects/meta/images/mkheart.rkt" drdr:command-line #f -"collects/meta/props" drdr:command-line (racket * "verify") responsible (eli jay) +"collects/meta/props" drdr:command-line (racket "-um" * "verify") responsible (eli jay) "collects/meta/web" drdr:command-line #f "collects/mred" responsible (mflatt) "collects/mred/edit-main.rkt" drdr:command-line (mzc *)