From 1affaad8b171587f7a4aeba9905210673a2708e6 Mon Sep 17 00:00:00 2001
From: Justin Ethier <justin.ethier@gmail.com>
Date: Fri, 17 Feb 2017 18:48:59 +0000
Subject: [PATCH] Remove old comment

---
 runtime.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/runtime.c b/runtime.c
index 87140e3c..13c7a8d3 100644
--- a/runtime.c
+++ b/runtime.c
@@ -2962,7 +2962,6 @@ object Cyc_div_op(void *data, common_type * x, object y)
   if (tx == integer_tag && ty == -1) {
     if (obj_obj2int(y) == 0) {
       Cyc_rt_raise_msg(data, "Divide by zero");
-      // TODO: check for bignum div by zero
     }
     x->double_t.tag = double_tag;
     x->double_t.value = ((double)x->integer_t.value) / (obj_obj2int(y));