| GrafiteAst.Procedural ->
let term_pp = CicNotationPp.pp_term in
let lazy_term_pp = CicNotationPp.pp_term in
- let obj_pp = CicNotationPp.pp_obj in
+ let obj_pp = CicNotationPp.pp_obj CicNotationPp.pp_term in
let aux = GrafiteAstPp.pp_statement ~term_pp ~lazy_term_pp ~obj_pp in
let script = Content2Procedural.content2procedural ~ids_to_inner_sorts prefix cobj in
- String.concat "" (List.map aux script)
+ "\n\n" ^ String.concat "" (List.map aux script)