Ignore:
Timestamp:
04/03/14 09:52:10 (7 years ago)
Author:
Ivan Raikov
Message:

npccl renamed to picnic

Location:
release/4/picnic
Files:
1 copied
1 moved

Legend:

Unmodified
Added
Removed
  • release/4/picnic/trunk/picnic-utils.scm

    r30636 r30637  
    1818;;
    1919
    20 (module npccl-utils
     20(module picnic-utils
    2121
    2222        *
     
    5454                )
    5555
    56         (define npccl-verbose (make-parameter 0))
     56        (define picnic-verbose (make-parameter 0))
    5757
    5858
    5959        (define (d fstr . args)
    6060          (let ([port (current-error-port)])
    61             (if (positive? (npccl-verbose))
     61            (if (positive? (picnic-verbose))
    6262                (begin (apply fprintf port fstr args)
    6363                       (flush-output port) ) )))
Note: See TracChangeset for help on using the changeset viewer.