creduce 2.6.0
b02c375
Linux
gnb-sbfarm03
4.4.0-0.bpo.tmw1-amd64
#1 SMP Debian 4.4.16-1~bpo8+1.tmw1 (2016-07-29)
x86_64

***************************************************

pass_clang::rename-cxx-method has encountered a bug:
pass failed to modify the variant

Please consider tarring up /mathworks/devel/sbs/11/nthery.Bpolyspace_lang.j561688.psar/work/mm_errors/creduce_bug_000
and mailing it to creduce-bugs@flux.utah.edu and we will try to fix
the bug.

This bug is not fatal, C-Reduce will continue to execute.

***************************************************

