diff --git a/implementations/racket/preserves/preserves/info.rkt b/implementations/racket/preserves/preserves/info.rkt index 2532275..95e2b61 100644 --- a/implementations/racket/preserves/preserves/info.rkt +++ b/implementations/racket/preserves/preserves/info.rkt @@ -1,3 +1,3 @@ #lang setup/infotab -(define racket-launcher-names '("preserves-tool")) +(define racket-launcher-names '("preserves-tool-rkt")) (define racket-launcher-libraries '("tool.rkt"))