typed: update info.rkt

2022-07-19 09:32:10 -04:00 · 2022-07-19 09:32:10 -04:00 · 3d9b1c383c
parent 7f54c4ccd0
commit 3d9b1c383c
1 changed files with 2 additions and 1 deletions
--- a/racket/typed/info.rkt
+++ b/racket/typed/info.rkt
@ -9,4 +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/"))
+  '("examples/")
+  '("tests/spin/"))