Remove singleton product from type view

hazelgrove · Oct 14, 2024 · c87048d · c87048d
1 parent 1fa320c
commit c87048d
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/haz3lweb/view/Type.re b/src/haz3lweb/view/Type.re
@@ -59,8 +59,6 @@ let rec view_ty = (~strip_outer_parens=false, ty: Haz3lcore.Typ.t): Node.t =>
       paren_view(t1) @ [text(" -> "), view_ty(t2)],
     )
   | Prod([]) => div(~attrs=[clss(["typ-view", "Prod"])], [text("()")])
-  | Prod([_]) =>
-    div(~attrs=[clss(["typ-view", "Prod"])], [text("Singleton Product")])
   | Prod([t0, ...ts]) =>
     div(
       ~attrs=[clss(["typ-view", "atom", "Prod"])],