From d02bec5ef96195bb9414456afad2f4afb4f5e6e2 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sun, 16 Feb 2014 00:47:48 -0800 Subject: [PATCH] update --- file-tools.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/file-tools.rkt b/file-tools.rkt index edfc961..ba39a3c 100644 --- a/file-tools.rkt +++ b/file-tools.rkt @@ -86,8 +86,7 @@ ;; put extension on path ;; use local contract here because this function is used within module -(provide add-ext) -(define/contract (add-ext x ext) +(define/contract/provide (add-ext x ext) (coerce/string? coerce/string? . -> . coerce/path?) (string-append x "." ext))