CN: missing bits of dtree rendering of cnprogs

rems-project · Oct 30, 2023 · 5fbf167 · 5fbf167
1 parent fda464a
commit 5fbf167
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 ->