From 0c11cafe790332eb65e1076dac4cfa97f44a137e Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Wed, 16 Jan 2019 11:16:34 -0800
Subject: 4934

---
 subx/apps/crenshaw2-1.subx  | 2 +-
 subx/apps/crenshaw2-1b.subx | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'subx/apps')

diff --git a/subx/apps/crenshaw2-1.subx b/subx/apps/crenshaw2-1.subx
index ab758b02..7c279955 100644
--- a/subx/apps/crenshaw2-1.subx
+++ b/subx/apps/crenshaw2-1.subx
@@ -553,7 +553,7 @@ $get-char:end:
     5d/pop-to-EBP
     c3/return
 
-is-digit?:  # c : int -> bool/EAX
+is-digit?:  # c : int -> EAX : boolean
     # . prolog
     55/push-EBP
     89/copy                         3/mod/direct    5/rm32/EBP    .           .             .           4/r32/ESP   .               .                 # copy ESP to EBP
diff --git a/subx/apps/crenshaw2-1b.subx b/subx/apps/crenshaw2-1b.subx
index bac458f0..0df86a68 100644
--- a/subx/apps/crenshaw2-1b.subx
+++ b/subx/apps/crenshaw2-1b.subx
@@ -750,7 +750,7 @@ get-char:  # f : (address buffered-file) -> <void>
     5d/pop-to-EBP
     c3/return
 
-is-digit?:  # c : int -> bool/EAX
+is-digit?:  # c : int -> EAX : boolean
     # . prolog
     55/push-EBP
     89/copy                         3/mod/direct    5/rm32/EBP    .           .             .           4/r32/ESP   .               .                 # copy ESP to EBP
-- 
cgit 1.4.1-2-gfad0