From c444e78f4888c283fc30cb8ef63b2caee40d13a3 Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Wed, 2 Oct 2024 09:33:35 -0400
Subject: [PATCH] Remove comment

---
 src/haz3lcore/dynamics/Elaborator.re | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/haz3lcore/dynamics/Elaborator.re b/src/haz3lcore/dynamics/Elaborator.re
index c8fefdf9c2..bdc5baf621 100644
--- a/src/haz3lcore/dynamics/Elaborator.re
+++ b/src/haz3lcore/dynamics/Elaborator.re
@@ -350,7 +350,6 @@ let rec elaborate = (m: Statics.Map.t, uexp: UExp.t): (DHExp.t, Typ.t) => {
           ((arg, _)) => Exp.is_deferral(arg),
           List.combine(args, ty_fargs),
         );
-      // TODO Should this be a product in the singleton case or not
       let remaining_arg_ty =
         List.length(remaining_args) == 1
           ? snd(List.hd(remaining_args))