Hi all, hi Gaby, another small diagnostic issue, cxx-pretty-print already deals with modop_expr. Tested x86_64-linux. Ok for mainline? Paolo. ////////////////