From 8fae368376d020d93e8b9ef6387fb884ec9b49c5 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Wed, 8 Sep 2010 14:11:36 -0500 Subject: [PATCH] Ignores prototype Redex pattern compiler --- collects/meta/props | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/meta/props b/collects/meta/props index d27313574d..c580da6e65 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1201,6 +1201,8 @@ path/s is either such a string or a list of them. "collects/redex/main.rkt" drdr:command-line (gracket-text "-t" *) "collects/redex/pict.rkt" drdr:command-line (gracket-text "-t" *) "collects/redex/private/arrow.rkt" drdr:command-line (gracket-text "-t" *) +"collects/redex/private/compiler/match.rkt" drdr:command-line #f +"collects/redex/private/compiler/redextomatrix.rkt" drdr:command-line #f "collects/redex/private/core-layout.rkt" drdr:command-line (gracket-text "-t" *) "collects/redex/private/dot.rkt" drdr:command-line (gracket-text "-t" *) "collects/redex/private/pict.rkt" drdr:command-line (gracket-text "-t" *)