From 51a3094fdcb79b03fd7e9e1973206ca09039e9d3 Mon Sep 17 00:00:00 2001 From: Ambrose Bonnaire-Sergeant Date: Tue, 15 Oct 2013 13:58:23 +0800 Subject: [PATCH] Typo in comment --- .../typed-racket-lib/typed-racket/infer/infer-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt index d831a12606..f0ba6c3362 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt @@ -87,7 +87,7 @@ ;; dbound : index variable ;; vars : listof[type variable] - temporary variables ;; cset : the constraints being manipulated -;; takes the constraints on vars and creates a dmap entry contstraining dbound to be |vars| +;; takes the constraints on vars and creates a dmap entry constraining dbound to be |vars| ;; with the constraints that cset places on vars (define/cond-contract (move-vars-to-dmap cset dbound vars) (cset? symbol? (listof symbol?) . -> . cset?)