Revert pp formatting for id tagged

hazelgrove · Dec 20, 2024 · 30e0af4 · 30e0af4
1 parent 56b3291
commit 30e0af4
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/haz3lcore/lang/term/IdTagged.re b/src/haz3lcore/lang/term/IdTagged.re
@@ -15,10 +15,10 @@ type t('a) = {
 };
 
 // To be used if you want to remove the id from the debug output
-let pp: ((Format.formatter, 'a) => unit, Format.formatter, t('a)) => unit =
-  (fmt_a, formatter, ta) => {
-    fmt_a(formatter, ta.term);
-  };
+// let pp: ((Format.formatter, 'a) => unit, Format.formatter, t('a)) => unit =
+//   (fmt_a, formatter, ta) => {
+//     fmt_a(formatter, ta.term);
+//   };
 let fresh = term => {
   {ids: [Id.mk()], copied: false, term};
 };