← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/centaur/esim/stv/stv-expand.lisp

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/centaur/esim/stv/stv-expand.lisp
52
52
       (op   (vl::vl-nonatom->op x))
53
53
       (args (vl::vl-nonatom->args x))
54
54
 
55
 
       ((when (eq op :vl-partselect-colon))
 
55
       ((when (eq op :vl-select-colon))
56
56
        (b* ((from (first args))
57
57
             (msb  (second args))
58
58
             (lsb  (third args))