From 1607f7df4522611491b788bf2d6d0275f975a97b Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Fri, 10 Feb 2023 16:55:59 -0500 Subject: [PATCH] fix info.rkt --- racket/typed/info.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/racket/typed/info.rkt b/racket/typed/info.rkt index 6068709..5349bb0 100644 --- a/racket/typed/info.rkt +++ b/racket/typed/info.rkt @@ -9,5 +9,5 @@ (define test-omit-paths ;; a number of the examples use SPIN for model checking which I need ;; to figure out how to get working on the package server - '("examples/") - '("tests/spin/")) + '("examples/" + "tests/spin/"))