Removed unnecessary require.
This commit is contained in:
parent
edc3b60b67
commit
1c4a6546d0
|
@ -1,11 +1,5 @@
|
|||
#lang s-exp "type-env-lang.rkt"
|
||||
|
||||
;; This require is necessary, otherwise a somewhat random
|
||||
;; selection of unit tests fail.
|
||||
;;
|
||||
;; I don't understand this at all. :(
|
||||
;; -- STH, 6/26/12
|
||||
(require (for-syntax "../env/global-env.rkt"))
|
||||
(require "../types/abbrev.rkt" "../types/union.rkt" "../types/numeric-tower.rkt" "../rep/type-rep.rkt")
|
||||
|
||||
[Complex -Number]
|
||||
|
|
Loading…
Reference in New Issue
Block a user