- (fun term ->
- let ast = NTermCicContent.nast_of_cic term in
- CicNotationPres.box_of_mpres
- (CicNotationPres.render (Hashtbl.create 1)
- (TermContentPres.pp_ast ast)))
+ (fun ast ->
+ CicNotationPres.box_of_mpres
+ (CicNotationPres.render ~lookup_uri
+ (TermContentPres.pp_ast ast)))