diff --git a/src/kernel_services/ast_printing/logic_print.ml b/src/kernel_services/ast_printing/logic_print.ml
index 0da54ea252c1a05f32c8a96fc8b30e20013bb850..56636c8fb561a3794a6354a8fbc3ec30b8087ea2 100644
--- a/src/kernel_services/ast_printing/logic_print.ml
+++ b/src/kernel_services/ast_printing/logic_print.ml
@@ -88,8 +88,7 @@ let rec print_logic_type name fmt typ =
   | LTenum s -> fprintf fmt "enum@ %s%t" s pname
   | LTstruct s -> fprintf fmt "struct@ %s%t" s pname
   | LTnamed (s,l) ->
-    fprintf fmt "%a%a%t"
-      print_qid s
+    fprintf fmt "%s%a%t" s
       (pp_list ~pre:"<@[" ~sep:",@ " ~suf:"@]>"
          (print_logic_type None)) l
       pname