From 0030e8ce87aebb7bab6b2341c2a6df5de8429b82 Mon Sep 17 00:00:00 2001
From: Hazel Levine <hazel@knightsofthelambdacalcul.us>
Date: Mon, 7 Nov 2022 16:58:52 -0500
Subject: [PATCH] =?UTF-8?q?AllocateHom=20=E2=86=92=20Allocate?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 type-check-Lvecof.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/type-check-Lvecof.rkt b/type-check-Lvecof.rkt
index df21b19..6983f56 100644
--- a/type-check-Lvecof.rkt
+++ b/type-check-Lvecof.rkt
@@ -56,10 +56,10 @@
               (values (Prim 'vectorof-length (list e1^))  'Integer)]
              [else ((super type-check-exp env) e)])]
 
-          [(AllocateHom e1 t)
+          [(Allocate e1 t)
            (define-values (e1^ t1) (recur e1))
            (check-type-equal? t1 'Integer e)
-           (values (AllocateHom e1^ t) t)]
+           (values (Allocate e1^ t) t)]
           
           [else ((super type-check-exp env) e)])))
     ))