From 58029ad04a8a601559bd2bec6eeacc94f1504434 Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Fri, 15 Nov 2024 14:17:33 -0500
Subject: [PATCH] Stop debugging

---
 src/haz3lcore/statics/Statics.re | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/haz3lcore/statics/Statics.re b/src/haz3lcore/statics/Statics.re
index 4b8f88348..9ef569e05 100644
--- a/src/haz3lcore/statics/Statics.re
+++ b/src/haz3lcore/statics/Statics.re
@@ -1134,12 +1134,8 @@ and upat_to_info_map =
         go(~ctx, ~under_ascription=true, ~mode=Ana(ann.term), p, m);
       add(~self=Just(ann.term), ~ctx=p.ctx, ~constraint_=p.constraint_, m);
     };
-  // This is to allow lifting single values into a singleton labeled tuple when the label is not present
 
-  // print_endline("upat_to_info_map: " ++ UPat.show(upat));
-  // print_endline("mode: " ++ Mode.show(mode));
-  print_endline("updat.term" ++ UPat.show(upat));
-  print_endline("under ascription: " ++ string_of_bool(under_ascription));
+  // This is to allow lifting single values into a singleton labeled tuple when the label is not present
   if (under_ascription) {
     default_case();
   } else {