From 7c841dc75069216ee2186276a0576ceb903aa760 Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Fri, 4 Aug 2017 15:18:07 -0400
Subject: [PATCH] omit dep-tests from tests

---
 turnstile/info.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/turnstile/info.rkt b/turnstile/info.rkt
index 0e14ce4..4699fc8 100644
--- a/turnstile/info.rkt
+++ b/turnstile/info.rkt
@@ -15,6 +15,7 @@
 
 (define test-omit-paths
   '("examples/rosette"
+    "examples/tests/dep-tests.rkt"
     "examples/tests/rosette"             ; needs rosette
     "examples/tests/trivial-test.rkt"    ; needs typed/racket
     "examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp