From 7f43c7d1a13d34b60f262ff2f86c85d7fe427b37 Mon Sep 17 00:00:00 2001
From: Justin Ethier <justin.ethier@gmail.com>
Date: Mon, 30 Jan 2017 17:47:08 -0500
Subject: [PATCH] Clarify usage of integer_type

---
 include/cyclone/types.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/cyclone/types.h b/include/cyclone/types.h
index 8afe40ad..b5c58443 100644
--- a/include/cyclone/types.h
+++ b/include/cyclone/types.h
@@ -347,8 +347,8 @@ static object quote_##name = NULL;
 
 /* Define numeric types */
 
-// Integer object type is still included for now, but ints
-// should be stored using value types instead.
+// Integer object type is deprecated, integers should be stored using value types instead.
+// This is only still here because it is used internally by the runtime.
 typedef struct {
   gc_header_type hdr;
   tag_type tag;