Remove comments

hacspec · Oct 29, 2024 · 57bc287 · 57bc287
1 parent 7bf2be5
commit 57bc287
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/engine/lib/generic_printer/generic_printer.ml b/engine/lib/generic_printer/generic_printer.ml
@@ -599,8 +599,6 @@ module Make (F : Features.T) = struct
             | `Concrete cid ->
                 (self#_do_not_override_lazy_of_concrete_ident ast_position cid)
                   #p
-            (* | `Primitive _prim_id -> string "(\*TODO*\) prim_id" *)
-            (* | `TupleType 0 -> string "unit" *)
             | _ -> self#assertion_failure "[global_ident]")
           ast_position id