← Back to branch summary

~ubuntu-branches/ubuntu/vivid/minisat+/vivid

« back to all changes in this revision

Viewing changes to PbParser.C

  • Committer: Bazaar Package Importer
  • Author(s): Ralf Treinen
  • Date: 2011-05-24 20:42:23 UTC
  • Revision ID: james.westby@ubuntu.com-20110524204223-sdt10yuyrsdzby6m
Tags: 1.0-2
Patch exitcode: non-null exit code on parse error.

Show diffs side-by-side

added added

removed removed

Lines of Context:
PbParser.C
282
282
            xfree(msg);
283
283
            if (opt_satlive && !opt_try)
284
284
                printf("s UNKNOWN\n");
285
 
            exit(opt_try ? 5 : 0);
 
285
            exit(5);
286
286
        }else
287
287
            throw msg;
288
288
    }