close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 3970


Ignore:
Timestamp:
2016-05-30T11:18:40-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-pair-queue.lisp

    r3968 r3970  
    7474    (let ((pair (dequeue queue)))
    7575      (is (universal-equalp (critical-pair-first pair) p))
    76       (is (universal-equalp (critical-pair-second pair) 1)))))
     76      (is (universal-equalp (critical-pair-second pair) q)))))
    7777
    7878
Note: See TracChangeset for help on using the changeset viewer.