mt on fold+propagate- WL fails

Bugzilla Link	1130
Created on	Sep 05, 2014 16:25
Version	svn
OS	All
Architecture	PC
Attachments	1130.sac, bound.sac

Extended Description

Created an attachment (id=1013)
failing program
Sharing a counter on a genarray WL works but on a fold  WL fails.
sac2c -v1 -mt -doWLLO -minmtsize 40  simple.sac
./maxclique.sac 93:3 error:
=> Pragma 'linksign' illegal: mappings allowed exclusively between parameters with identical types
compilation failed while Preparing C code generation, 1 error(s).
make: *** [simple] Error 99