(i don't think i'm subscribed, so please CC me) Hi! I have hit the following issue.
*************************************************** pass_clex::rm-tok-pattern-8 has encountered a bug: pass got stuck Please consider tarring up /home/lebedevri/CREDUCE/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. *************************************************** The directory is attached. Roman.
creduce_bug_000.tar.xz
Description: application/xz