From 5fbf167cdb83ddd57514b21167647f4aca98635f Mon Sep 17 00:00:00 2001 From: Thomas Sewell Date: Mon, 30 Oct 2023 22:53:59 +0100 Subject: [PATCH] CN: missing bits of dtree rendering of cnprogs --- backend/cn/cnprog.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/backend/cn/cnprog.ml b/backend/cn/cnprog.ml index 96ad83a0a..bb1177e4f 100644 --- a/backend/cn/cnprog.ml +++ b/backend/cn/cnprog.ml @@ -115,9 +115,9 @@ let dtree_of_cn_statement = function Dnode (pp_ctor "Extract", [dtree_of_to_extract to_extract; IT.dtree it]) | M_CN_unfold (s, args) -> - Dnode (pp_ctor "Unfold", List.map IT.dtree args) + Dnode (pp_ctor "Unfold", Dleaf (Sym.pp s) :: List.map IT.dtree args) | M_CN_apply (s, args) -> - Dnode (pp_ctor "Apply", List.map IT.dtree args) + Dnode (pp_ctor "Apply", Dleaf (Sym.pp s) :: List.map IT.dtree args) | M_CN_assert lc -> Dnode (pp_ctor "Assert", [LC.dtree lc]) | M_CN_inline nms ->