← Back to branch summary

~ubuntu-branches/ubuntu/saucy/ladr/saucy

« back to all changes in this revision

Viewing changes to mace4.src/ground.c

  • Committer: Package Import Robot
  • Author(s): Frank Lichtenheld
  • Date: 2013-05-25 11:43:32 UTC
  • mfrom: (5.1.5 sid)
  • Revision ID: package-import@ubuntu.com-20130525114332-lkzco1dti2hwrf7v
Tags: 0.0.200911a-2
* QA upload.
* Upload to unstable.
* Change maintainer to QA group.

Show diffs side-by-side

added added

removed removed

Lines of Context:
mace4.src/ground.c
334
334
static
335
335
Term simp_tv(Term t)
336
336
{
337
 
  if (OR_TERM(t)) {
 
337
  if (true_term(t)) {
 
338
    zap_mterm(t);
 
339
    return Domain[1];
 
340
  }
 
341
  else if (false_term(t)) {
 
342
    zap_mterm(t);
 
343
    return Domain[0];
 
344
  }
 
345
  else if (OR_TERM(t)) {
338
346
    t = merge(t);
339
347
    if (!OR_TERM(t))
340
348
      return simp_tv(t);