diff --git a/my-include.rkt b/my-include.rkt index 17f119a..973fc4a 100644 --- a/my-include.rkt +++ b/my-include.rkt @@ -43,8 +43,8 @@ [(version< (version) "7.3") #,(my-include1 (loc (string-append -updir "7-0-0-20" -filename)))] [(version< (version) "7.4") -; #,(my-include1 (loc (string-append -updir "7-3-0-1" -filename)))] - #,(my-include1 (loc (string-append -updir "7-4" -filename)))] + #,(my-include1 (loc (string-append -updir "7-3-0-1" -filename)))] +; #,(my-include1 (loc (string-append -updir "7-4" -filename)))] [(version< (version) "7.5") #,(my-include1 (loc (string-append -updir "7-4" -filename)))] [else