On Fri, Mar 29, 2013 at 07:01:48PM +0530, son...@iitk.ac.in wrote: > (Block (mkBlock [ mkStmtOneInstr s; tb.bstmts ])) > > so, how can i achieve the same?
You need to append your new statement in front of the list: (Block (mkBlock ((mkStmtOneInstr s) :: tb.bstmts))) Similarly, you could also concatenate both lists: (Block (mkBlock ([mkStmtOneInstr s] @ [tb.bstmts]))) (which would be necessary for instance if you wanted to add a new statement at the end instead). Best regards, -- Gabriel ------------------------------------------------------------------------------ Own the Future-Intel(R) Level Up Game Demo Contest 2013 Rise to greatness in Intel's independent game demo contest. Compete for recognition, cash, and the chance to get your game on Steam. $5K grand prize plus 10 genre and skill prizes. Submit your demo by 6/6/13. http://altfarm.mediaplex.com/ad/ck/12124-176961-30367-2 _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
