From 900d2b0be0d8281e4de6ce5979b9df54c4a82211 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Tue, 29 Mar 2016 07:24:51 -0400
Subject: [PATCH] add missing require

---
 typed-racket-lib/typed-racket/typecheck/possible-domains.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/typed-racket-lib/typed-racket/typecheck/possible-domains.rkt b/typed-racket-lib/typed-racket/typecheck/possible-domains.rkt
index bd1bb51b..fd12e484 100644
--- a/typed-racket-lib/typed-racket/typecheck/possible-domains.rkt
+++ b/typed-racket-lib/typed-racket/typecheck/possible-domains.rkt
@@ -1,6 +1,7 @@
 #lang racket/base
 
 (require "../utils/utils.rkt"
+         (contract-req)
          racket/list
          racket/match
          (rep type-rep filter-rep)