From e18160aa7a796989cc6ff7c953ee088023a3ea93 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 4 Sep 2023 01:09:22 +0200
Subject: Fix a minor issue in HOL4

---
 compiler/Extract.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/Extract.ml b/compiler/Extract.ml
index 8aee8c4f..de6c2fc8 100644
--- a/compiler/Extract.ml
+++ b/compiler/Extract.ml
@@ -1239,7 +1239,7 @@ let rec extract_ty (ctx : extraction_ctx) (fmt : F.formatter)
                 | Assumed _ -> true
                 | _ -> raise (Failure "Unreachable")
               in
-              if const_generics <> [] && print_tys then (
+              if types <> [] && print_tys then (
                 let print_paren = List.length types > 1 in
                 if print_paren then F.pp_print_string fmt "(";
                 Collections.List.iter_link
-- 
cgit v1.2.3