const char *name = [[[op filenames] objectAtIndex:0]
cStringUsingEncoding:
[NSString defaultCStringEncoding]];
- char *err;
+ const char *err;
FILE *fp = fopen(name, "r");
- (void)solveGame:(id)sender
{
- char *msg;
+ const char *msg;
msg = midend_solve(me);