Changeset 77 in CGBLisp


Ignore:
Timestamp:
Feb 2, 2009, 12:53:19 AM (15 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/prover.lisp

    r51 r77  
    1919(in-package "PROVER")
    2020
    21 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 0)))
     21(proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
    2222
    2323(defvar *prover-order* #'grevlex>
Note: See TracChangeset for help on using the changeset viewer.