From b3cf6dec21fc2c8594b6337ab660a6db18113a1f Mon Sep 17 00:00:00 2001
From: Yiyun Liu <liuyiyun@seas.upenn.edu>
Date: Sat, 7 Jun 2025 22:05:17 -0400
Subject: [PATCH] Minor

---
 semantics.rkt | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/semantics.rkt b/semantics.rkt
index 4b02bae..a6cf7c2 100644
--- a/semantics.rkt
+++ b/semantics.rkt
@@ -136,13 +136,10 @@
       (let ([next-st (update-stats incr-stats (step st))])
         (cons st (eval-state next-st)))))
 
-(: data-node? (-> Node Boolean))
-(define data-node? integer?)
-
 (: final-state? (-> State Boolean))
 (define (final-state? st)
   (match (State-stack st)
-    [(list n) (data-node? (lookup-node (State-heap st) n))]
+    [(list n) (integer-node? (lookup-node (State-heap st) n))]
     [_ #f]))
 
 (: step (-> State State))