- let string_of_term = NotationPp.pp_term (new NCicPp.status)
- let string_of_pattern = NotationPp.pp_term (new NCicPp.status)
+ (*WR: can't guess a user id so I must use None *)
+ let string_of_term = NotationPp.pp_term (new NCicPp.status None)
+ let string_of_pattern = NotationPp.pp_term (new NCicPp.status None)