From 11551ee8604812b225dfa6d208665b7ed224bae3 Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Thu, 23 Mar 2017 15:43:34 -0400
Subject: [PATCH] add turnstile/rackunit-typechecking abbrev

---
 turnstile/rackunit-typechecking.rkt | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 turnstile/rackunit-typechecking.rkt

diff --git a/turnstile/rackunit-typechecking.rkt b/turnstile/rackunit-typechecking.rkt
new file mode 100644
index 0000000..ca27673
--- /dev/null
+++ b/turnstile/rackunit-typechecking.rkt
@@ -0,0 +1,4 @@
+#lang racket/base
+;; extends rackunit with type-checking forms
+(require rackunit "examples/tests/rackunit-typechecking.rkt")
+(provide (all-from-out rackunit "examples/tests/rackunit-typechecking.rkt"))